Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С.Грязновым. Рассмотрены философские приложения теории поиска вывода.
Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
| Вес: | 225 |
| Ширина упаковки: | 150 |
| Высота упаковки: | 15 |
| Глубина упаковки: | 220 |
| crossborder: | false |
| Серия: | Библиотека электронного журнала |
| Издательство: | БФУ им. И. Канта |
| Тираж: | 400 |
| Мелованная бумага: | false |
| Цветные иллюстрации: | false |
| Размер упаковки (Длина х Ширина х Высота), см: | 20,5 х 14,5 х 1,0 |
| Название: | Теория поиска вывода. Происхождение и философские приложения |
| Сложность описания: | 1_Простая |
| Тип издания: | Отдельное издание |
| Признак 18+: | false |
| Основной жанр книги: | Научная литература |
| Направления нехудожественной литературы: | Философские науки. Социология |
| Тип книги: | Печатная книга |
| Тип обложки: | Мягкая обложка |
| Тип носителя: | Печатная книга |
| Эпоха публикации: | Современные издания |
| ebsmstock: | false |
Frame $60% в наличии