Поиск :
Личный кабинет :
Электронный каталог: Брюшинкин, Владимир Никифорович - Теория поиска вывода. Происхождение и философские приложения
Брюшинкин, Владимир Никифорович - Теория поиска вывода. Происхождение и философские приложения
Нет экз.
Электронный ресурс
Автор: Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения : Монография
Издательство: БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7
Автор: Брюшинкин, Владимир Никифорович
Теория поиска вывода. Происхождение и философские приложения : Монография
Издательство: БФУ им. И.Канта, 2012 г.
ISBN 978-5-9971-0222-7
На полку
Электронный ресурс
22.122
Брюшинкин, Владимир Никифорович.
Теория поиска вывода. Происхождение и философские приложения [Электронный ресурс] : Монография / В. Н. Брюшинкин, Н. А. Ходикова ; Балтийский федеральный ун-т им. Иммануила Канта. – Калининград : БФУ им. И.Канта, 2012. – 166 с. – Режим доступа : https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199, https://e.lanbook.com/img/cover/book/13199.jpg. – Для авторизованных пользователей МПГУ. – Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки. – На рус. яз. – ISBN 978-5-9971-0222-7.
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
ББК 22.122
ББК 87.458.22
16(091):167:510.66
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = математика : математическая логика
основной = философия : логика : классическая логика : логика предикатов
основной = виды изданий : научные издания : монографии
основной = Лань (СЭБ) сделано
22.122
Брюшинкин, Владимир Никифорович.
Теория поиска вывода. Происхождение и философские приложения [Электронный ресурс] : Монография / В. Н. Брюшинкин, Н. А. Ходикова ; Балтийский федеральный ун-т им. Иммануила Канта. – Калининград : БФУ им. И.Канта, 2012. – 166 с. – Режим доступа : https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199, https://e.lanbook.com/img/cover/book/13199.jpg. – Для авторизованных пользователей МПГУ. – Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки. – На рус. яз. – ISBN 978-5-9971-0222-7.
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
ББК 22.122
ББК 87.458.22
16(091):167:510.66
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = математика : математическая логика
основной = философия : логика : классическая логика : логика предикатов
основной = виды изданий : научные издания : монографии
основной = Лань (СЭБ) сделано