|
libcats.org
Компьютерное моделирование посредством решения математических задачПодколзин А.С.Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. В пособии возникающие здесь математические модели иллюстрируются на двух типичных примерах - языке и исчислении логики высказываний, а также языке и исчислении логики предикатов
Скачать книгу бесплатно (pdf, 246 Kb)
Читать «Компьютерное моделирование посредством решения математических задач» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#3
5000 современных микросхем УНЧ и их аналоги. СправочникТурута Евгений ФилипповичКатегория: радиоэлектроника
19.99 Mb
#4
Основы профессионально-педагогического общенияЛобанов А.А.Категория: Психология теоретическая учебная литература
237 Kb
#5
Оптические кабели.Конструкции,характеристики,производство и применениеГроднев И.И.Категория: Радио
2.60 Mb
#8
Учебник по холодильной технике: Основы - комплектующие - расчеты: Монтаж, эксплуатация и техн. обслуживание холодил. УстановокВ. Мааке, Г.-Ю. Эккерт, Жан-Луи Кошпен
37.76 Mb
#10
Танки - фронту! Записки советского генералаБирюков Николай ИвановичКатегория: история, исторические науки
5.13 Mb
|
|