10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 0,74 ₼ əldə edin.
0+
mətnPDF
Həcm 92 səhifələri
Теория логического вывода
mətnPDF
7,35 ₼
Kitab haqqında
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Janr və etiketlər
Rəy bildirmək
Giriş, kitabı qiymətləndirmək və rəy bildirmək
Kitabın təsviri
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Kitab «Теория логического вывода» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş həddi:
0+Litresdə buraxılış tarixi:
10 avqust 2021Həcm:
92 səh. ISBN:
978-5-8114-7284-0Ümumi ölçü:
1.1 МБSəhifələrin ümumi sayı:
92Müəllif hüququ sahibi:
Издательство ЛАНЬ
