توضیحات
This book is a tribute to Professor Ewa Orowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orowskas autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors’ biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orowskas work.
————————————————————–
ترجمه ماشینی :
این کتاب ادای احترامی است به پروفسور Ewa Orowska، منطق دان لهستانی که شصتمین سال فعالیت علمی خود را در سال 2017 جشن می گرفت. این کتاب مجموعه ای از مقالات ارائه شده توسط نویسندگان مختلف را ارائه می دهد و مهم ترین زمینه های تحقیق او را پوشش می دهد. پروفسور اوروسکا در بسیاری از زمینههای منطق، مانند نظریه اثبات، روشهای جبری در منطق و بازنمایی دانش، مشارکت قابل توجهی داشت، و کار او در 3 مونوگراف و بیش از 100 مقاله در مجلات معتبر بینالمللی و مجموعه مقالات کنفرانس منتشر شده است. این کتاب همچنین شامل زندگی نامه پروفسور اوروسکاس، کتاب شناسی و گفتگوی سه گانه بین او و ویراستاران جلد، و همچنین یادداشت های زندگی نامه مشارکت کنندگان است و برای محققان و دانشجویان منطق که علاقه مند به درک بیشتر در مورد کار پروفسور اوروسکاس هستند مناسب است. .
tag : دانلود کتاب Ewa Orowska در مورد روشهای رابطهای در منطق و علوم کامپیوتر , Download Ewa Orowska در مورد روشهای رابطهای در منطق و علوم کامپیوتر , دانلود Ewa Orowska در مورد روشهای رابطهای در منطق و علوم کامپیوتر , Download Ewa Orowska on Relational Methods in Logic and Computer Science Book , Ewa Orowska در مورد روشهای رابطهای در منطق و علوم کامپیوتر دانلود , buy Ewa Orowska در مورد روشهای رابطهای در منطق و علوم کامپیوتر , خرید کتاب Ewa Orowska در مورد روشهای رابطهای در منطق و علوم کامپیوتر , دانلود کتاب Ewa Orowska on Relational Methods in Logic and Computer Science , کتاب Ewa Orowska on Relational Methods in Logic and Computer Science , دانلود Ewa Orowska on Relational Methods in Logic and Computer Science , خرید Ewa Orowska on Relational Methods in Logic and Computer Science , خرید کتاب Ewa Orowska on Relational Methods in Logic and Computer Science ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.