10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 5 456,84 soʻm oling.
0+
matnPDF
Hajm 92 sahifalar
Теория логического вывода
matnPDF
54 568,35 soʻm
Kitob haqida
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Janrlar va teglar
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
Kitob tavsifi
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Kitob «Теория логического вывода» — veb-saytda onlayn o'qing. Fikr va sharhlar qoldiring, sevimlilarga ovoz bering.
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
10 avgust 2021Hajm:
92 Sahifa ISBN:
978-5-8114-7284-0Umumiy o'lcham:
1.1 МБUmumiy sahifalar soni :
92Mualliflik huquqi egasi:
Издательство ЛАНЬ
