Теория поиска вывода. Происхождение и философские приложения, монография
| Main Author: | |
|---|---|
| Other Authors: | |
| Summary: | Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки |
| Published: |
Калининград, БФУ им. И.Канта, 2012
|
| Subjects: | |
| Online Access: | https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 https://e.lanbook.com/img/cover/book/13199.jpg |
| Format: | Electronic Book |
