|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теория формальная
| Книга | Страницы для поиска | | Новиков Ф.А. — Дискретная математика для программистов | 105 | | Мендельсон Э. — Введение в математическую логику | 25, 36 | | Белоусов А.И., Ткачев С.Б. — Дискретная математика | 699 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 218, 238 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 204, 224 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | V—335 | | Панов М.И. — Методические проблемы интуиционистской математики | 56 | | Александров Е.А. — Основы теории эвристических решений. Подход к изучению естественного и построению искусственного интеллекта | 217, 221, 222 | | Бочаров В.А., Маркин В.И. — Основы логики | 145 | | Мендельсон Э. — Введение в математическую логику | 25, 36 |
|
|
|
|
О проекте