Основной контент книги Теория логического вывода. Учебное пособие для вузов
TextPDFUmfang 93 seiten
2024 Jahr
Теория логического вывода. Учебное пособие для вузов
2-е издание, стереотипное
Autor
А. В. Ганичева
Teil der Serie «Высшее образование (Лань)»
€3,48
Über das Buch
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальности «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Genres und Tags
Teil der Serie "Высшее образование (Лань)"
Hinterlassen Sie eine Bewertung
Einloggen, um das Buch zu bewerten und eine Rezension zu hinterlassen
Buch «Теория логического вывода. Учебное пособие для вузов» — online auf der Website lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
Altersbeschränkung:
0+Veröffentlichungsdatum auf Litres:
10 August 2021Schreibdatum:
2024Umfang:
93 S. ISBN:
978-5-507-51643-8Gesamtgröße:
1.2 МБGesamtanzahl der Seiten:
93Rechteinhaber:
Издательство ЛАНЬ
