| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | RU/IS/BASE/413973288 | ||
| 005 | Дата корректировки | 20150513113546.9 | ||
| 020 | a | ISBN | 978-5-9971-0222-7 | |
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 080 | a | Индекс УДК | 510.662 | |
| 084 | a | Индекс другой классификации/Индекс ББК | В122 | |
| 090 | a | Полочн. индекс | В122 | |
| x | Авторский знак | Б 89 | ||
| 100 | 1_ | a | Автор | Брюшинкин Владимир Никифорович |
| q | Полное имя | Брюшинкин В. Н. | ||
| 245 | 10 | a | Заглавие | Теория поиска вывода |
| b | Продолж. заглавия | происхождение и философские приложения | ||
| c | Ответственность | Балт. федер. ун-т им. Иммануила Канта | ||
| 260 | a | Место издания | Калининград | |
| b | Издательство | Балтийский федеральный университет им. Иммануила Канта | ||
| c | Дата издания | 2012 | ||
| 300 | a | Объем | 165, [1] с. | |
| 504 | a | Библиография | Библиогр.: с. 158-166 (128 назв.) и в подстроч. примеч. | |
| 520 | a | Аннотация | Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. | |
| 653 | a | Ключевые слова | Автоматическое доказательство | |
| a | Ключевые слова | Гильбертовская теория доказательств | ||
| a | Ключевые слова | Доказательства (мат.) | ||
| a | Ключевые слова | История логики | ||
| a | Ключевые слова | Логика | ||
| a | Ключевые слова | Математика | ||
| a | Ключевые слова | Математическая логика | ||
| a | Ключевые слова | Научные теории | ||
| a | Ключевые слова | Поиск вывода | ||
| a | Ключевые слова | Поризмы | ||
| a | Ключевые слова | Происхождение научных теорий | ||
| a | Ключевые слова | Психология | ||
| a | Ключевые слова | Теория доказательств | ||
| a | Ключевые слова | Теория поиска вывода | ||
| a | Ключевые слова | Философия логики | ||
| 700 | a | Другие авторы | Ходикова Нина Анатольевна | |
| q | Полное имя | Ходикова Н. А. | ||
| 901 | t | Тип документа | m | |
| 920 | a | Оператор | Конд | |
| a | Оператор | Стро | ||
| a | Оператор | Поля | ||
| a | Оператор | Стро | ||
| 952 | c | Вид литературы | К рн | |
| 954 | a | Дата поступления на обработку | 20130618 | |
| c | Дата окончания ОНО | 20130827 | ||
| c | Дата окончания ОНО | 20140616 | ||
| b | Дата поступления в ОК | 20140610 |