Основной контент книги Теория логического вывода. Учебное пособие для вузов
metinPDF
Cilt 93 sayfalar
2024 yıl
Теория логического вывода. Учебное пособие для вузов
2-е издание, стереотипное
yazar
А. В. Ганичева
Serisine dahil «Высшее образование (Лань)»
₺127,35
%10 indirim al
Bu kitabı önerin ve arkadaşınız kitabı satın aldığında ₺12,74 kazanın.
Kitap hakkında
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальности «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Seriye dahil "Высшее образование (Лань)"
Yorum gönderin
Giriş, kitabı değerlendirin ve yorum bırakın
Kitab «Теория логического вывода. Учебное пособие для вузов» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş sınırı:
0+Litres'teki yayın tarihi:
10 ağustos 2021Yazıldığı tarih:
2024Hacim:
93 s. ISBN:
978-5-507-51643-8Toplam boyut:
1.2 МБToplam sayfa sayısı:
93Telif hakkı:
Издательство ЛАНЬ