Поиск :
Личный кабинет :
Электронный каталог: Хохлов, Сергей Валерьевич - Независимость правил вывода в предикатных системах натурального вывода
Хохлов, Сергей Валерьевич - Независимость правил вывода в предикатных системах натурального вывода
Электронный ресурс (аналит. описание)
Автор: Хохлов, Сергей Валерьевич
Некоторые вопросы математики, информатики и методики их преподавания: Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Автор: Хохлов, Сергей Валерьевич
Некоторые вопросы математики, информатики и методики их преподавания: Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Хохлов, Сергей Валерьевич.
Независимость правил вывода в предикатных системах натурального вывода [Электронный ресурс ] / С. В. Хохлов // Некоторые вопросы математики, информатики и методики их преподавания : Сборник научных статей / Моск. пед. гос. ун-т ; Редкол.: В. Л. Матросов (гл. ред.) и др. - Электронные текстовые данные (88Mb) . - Москва : Прометей, 2006 . - С. 331 - 335 . - Режим доступа : http://elib.mpgu.info/elib/view.php?id=5330 . - Для авторизованных пользователей МПГУ . - Библиогр.: с. 335 . - На рус. яз.
2006
основной = математика : математическая логика
основной = философия : логика : классическая логика : натуральный вывод
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ
основной = виды изданий : электронные ресурсы : электронные ресурсы МПГУ
основной = сверка 2024
основной = сверка 2024
Хохлов, Сергей Валерьевич.
Независимость правил вывода в предикатных системах натурального вывода [Электронный ресурс ] / С. В. Хохлов // Некоторые вопросы математики, информатики и методики их преподавания : Сборник научных статей / Моск. пед. гос. ун-т ; Редкол.: В. Л. Матросов (гл. ред.) и др. - Электронные текстовые данные (88Mb) . - Москва : Прометей, 2006 . - С. 331 - 335 . - Режим доступа : http://elib.mpgu.info/elib/view.php?id=5330 . - Для авторизованных пользователей МПГУ . - Библиогр.: с. 335 . - На рус. яз.
2006
основной = математика : математическая логика
основной = философия : логика : классическая логика : натуральный вывод
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ
основной = виды изданий : электронные ресурсы : электронные ресурсы МПГУ
основной = сверка 2024
основной = сверка 2024