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

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Петрова Л. П.
مؤلفون آخرون:	Садовский Б. Н.
الملخص:	Пособие подготовлено на кафедре функционального анализа и операторных уравнений математического факультета Воронежского госуниверситета. Рекомендуется для студентов 1-го курса дневного отделения Книга из коллекции ВГУ - Математика
منشور في:	Воронеж, ВГУ, 2015
الموضوعات:	логика предикатов язык прикладной логики элементы языка кванторы свободные переменные связанные переменные свойства кванторов ограниченные кванторы формализация определений следствие в логике правила общности обратное применение правил квантор существования теорема о кванторах конъюнкции и дизъюнкции импликация силлогизмы аристотеля
الوصول للمادة أونلاين:	https://e.lanbook.com/book/356489 https://e.lanbook.com/img/cover/book/356489.jpg
التنسيق:	الكتروني كتاب

الانترنت