|
libcats.org
Логика и исчисление предикатов: Методические указанияКацаран Т.К.Целью настоящей методической разработки, помимо изложения фактического материала курса ''Дискретная математика'', является становление и развитие подчиненного законам формальной логики математического мышления студентов. Приводимые здесь доказательства теорем типичны и фактически являются указаниями для решения задач логики предикатов. Одна из таких задач - проверка тождественной истинности или выполнимости предикатных формул
Скачать книгу бесплатно (pdf, 170 Kb)
Читать «Логика и исчисление предикатов: Методические указания» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#4
Ассирийская магияПер. с франц. Санин В.Л.; пер. с аккадск. и шумерск: Емельянов В.В.Категория: История
1.04 Mb
#10
Анатомия человека. В 2 томах. Том 1Под редакцией М. Р. СапинаКатегория: Медицина, Анатомия и физиология человека
11.15 Mb
|
|