Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам...
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | Книга |
| Язык: | Russian |
| Опубликовано: |
Калининград
БФУ им. И.Канта
2012
|
| Темы: | |
| Online-ссылка: | https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 https://e.lanbook.com/img/cover/book/13199.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 03021nam0a2200541 i 4500 | ||
|---|---|---|---|
| 001 | 13199 | ||
| 003 | RuSpLAN | ||
| 005 | 20221220173903.0 | ||
| 008 | 221220s2012 ru gs 000 0 rus | ||
| 020 | |a 978-5-9971-0222-7 | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 16(091):167:510.66 | ||
| 084 | |a 22.12 |2 rubbk | ||
| 245 | 0 | 0 | |a Теория поиска вывода. Происхождение и философские приложения |b монография |c Брюшинкин В. Н.,Ходикова Н. А. |
| 260 | |a Калининград |b БФУ им. И.Канта |c 2012 | ||
| 300 | |a 166 с. | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. | |
| 521 | 8 | |a Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки | |
| 653 | 0 | |a выводы | |
| 653 | 0 | |a логико-математические теоремы | |
| 653 | 0 | |a теория доказательств | |
| 653 | 0 | |a поризм | |
| 653 | 0 | |a логические алгоритмы | |
| 653 | 0 | |a математическая логика | |
| 653 | 0 | |a гильбертовская теория доказательств | |
| 653 | 0 | |a искусственный интеллект | |
| 653 | 0 | |a история логики | |
| 653 | 0 | |a логика | |
| 653 | 0 | |a логика (история) | |
| 653 | 0 | |a логика математическая | |
| 653 | 0 | |a логические теории | |
| 653 | 0 | |a математика (философские вопросы) | |
| 653 | 0 | |a математическая логика теория поиска вывода | |
| 653 | 0 | |a научная теория | |
| 653 | 0 | |a поиск вывода | |
| 653 | 0 | |a рациональная реконструкция | |
| 653 | 0 | |a теория поиска | |
| 653 | 0 | |a теория поиска вывода | |
| 653 | 0 | |a философия | |
| 653 | 0 | |a формализация эвристик | |
| 100 | 1 | |a Брюшинкин В. Н. | |
| 700 | 1 | |a Ходикова Н. А. | |
| 856 | 4 | |u https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/13199.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/13199.jpg | ||