libcats.org
Главная →

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

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

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

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

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

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

The Meme Machine

 Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Зара Деверо. Чертог страстей

 Автор:
Размер книги: 386 Kb

Three-space problems in Banach space theory

 Автор: , Автор:
Категория: Mathematics, Calculus, Functional analysis
Размер книги: 1.84 Mb

Welkom Thuis

 Автор:
Категория: Песенники и тосты
Размер книги: 1 Kb

Fingers (Lucky Luke) (French Edition)

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

Marrying the Marquis

 Автор:
Категория: fiction
Размер книги: 196 Kb

Virtual Virgin

 Автор:
Категория: fiction
Размер книги: 432 Kb