Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам...
Сохранить в:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Книга |
| Sprog: | Russian |
| Udgivet: |
Калининград
БФУ им. И.Канта
2012
|
| Fag: | |
| Online adgang: | https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 https://e.lanbook.com/img/cover/book/13199.jpg |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| Summary: | Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. |
|---|---|
| Fysisk beskrivelse: | 166 с. |
| Publikum: | Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки |
| Bibliografi: | Библиогр.: доступна в карточке книги, на сайте ЭБС Лань |
| ISBN: | 978-5-9971-0222-7 |