Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
Теория поиска вывода. Происхождение и философские приложения
МатематикаПроведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории…
$28.99
Нет в наличии
| Вес | 7.9 унция |
|---|---|
| Габариты | 8.5 × 5.7 × 1.0 дюйм |
| ISBN | 978-5-9971-0222-7 |
| Год выпуска | |
| формат | 60×90/16 |
| Издательство | |
| Серия | |
| переплет | Мягкий переплет |
| Автор | |
| стандарт | 14 |
| количество-страниц | 168 |
| EAN | 9785997102227 |
| SKU | 198000 |
| формат-ммсм | 145×215 |
| Язык | |
| тип-издания | Отдельное издание |
| тираж | 400 |
| handling_time | 14 days |







