Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Книга |
| Những chủ đề: | |
| Truy cập trực tuyến: | Перейти к просмотру издания |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| LEADER | 02351nam0a2200373 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/23940 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/23940.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20240904 |g RCR | |
| 010 | |a 978-5-9971-0222-7 | ||
| 205 | |a Теория поиска вывода. Происхождение и философские приложения |b 2027-10-01 | ||
| 333 | |a Гарантированный срок размещения в ЭБС до 01.10.2027 (автопролонгация) | ||
| 100 | |a 20240904d2012 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Теория поиска вывода. Происхождение и философские приложения |e монография |f В. Н. Брюшинкин, Н. А. Ходикова | |
| 700 | 1 | |a Брюшинкин, |b В. Н. |4 070 | |
| 701 | 1 | |a Ходикова, |b Н. А. |4 070 | |
| 330 | |a Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. | ||
| 210 | |a Калининград |c Балтийский федеральный университет им. Иммануила Канта |d 2012 | ||
| 610 | 1 | |a Теория поиска | |
| 610 | 1 | |a поиск вывода | |
| 610 | 1 | |a философия | |
| 610 | 1 | |a логика | |
| 610 | 1 | |a искусственный интеллект | |
| 675 | |a 510.66 | ||
| 686 | |a 22.12 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 167 с. | ||