libcats.org
Главная →

Логика и исчисление предикатов: Методические указания

Обложка книги Логика и исчисление предикатов: Методические указания

Логика и исчисление предикатов: Методические указания

Целью настоящей методической разработки, помимо изложения фактического материала курса ''Дискретная математика'', является становление и развитие подчиненного законам формальной логики математического мышления студентов. Приводимые здесь доказательства теорем типичны и фактически являются указаниями для решения задач логики предикатов. Одна из таких задач - проверка тождественной истинности или выполнимости предикатных формул
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Беспроводная цифровая связь

 Автор:
Размер книги: 6.22 Mb

Проективная геометрия

 Автор:
Размер книги: 21.06 Mb

Учебник сержанта инженерных войск

 Автор:
Категория: society, society, military
Размер книги: 4.26 Mb

Uzbek: An Elementary Textbook

Автор:
Размер книги: 91.51 Mb