Математическая логика. Логика предикатов. Конспекты лекций и упражнения по курсу, пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01

Dettagli Bibliografici
Autore principale:	Петрова Л. П.
Altri autori:	Садовский Б. Н.
Riassunto:	Пособие подготовлено на кафедре функционального анализа и операторных уравнений математического факультета Воронежского госуниверситета. Рекомендуется для студентов 1-го курса дневного отделения Книга из коллекции ВГУ - Математика
Pubblicazione:	Воронеж, ВГУ, 2015
Soggetti:	логика предикатов язык прикладной логики элементы языка кванторы свободные переменные связанные переменные свойства кванторов ограниченные кванторы формализация определений следствие в логике правила общности обратное применение правил квантор существования теорема о кванторах конъюнкции и дизъюнкции импликация силлогизмы аристотеля
Accesso online:	https://e.lanbook.com/book/356489 https://e.lanbook.com/img/cover/book/356489.jpg
Natura:	Elettronico Libro

Accesso online