BookSee.org
Booksee.org
Главная

Компьютерное моделирование посредством решения математических задач

Компьютерное моделирование посредством решения математических задач

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

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport
57.35 Mb
Только что пользователи скачали эти книги: