Электронный каталог МПГУ -Хохлов, Сергей Валерьевич - Независимость правил вывода в предикатных системах натурального вывода- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Хохлов, Сергей Валерьевич - Независимость правил вывода в предикатных системах натурального вывода

Хохлов, Сергей Валерьевич - Независимость правил вывода в предикатных системах натурального вывода

Книга (аналит. описание)
Автор: Хохлов, Сергей Валерьевич
Некоторые вопросы математики, информатики и методики их преподавания: Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
22.122

Хохлов, Сергей Валерьевич.
Независимость правил вывода в предикатных системах натурального вывода / С. В. Хохлов // Некоторые вопросы математики, информатики и методики их преподавания : сб. науч. ст. / Моск. пед. гос. ун-т ; гл. ред.: В. Л. Матросов. – Москва : Прометей, 2006. – С. 331 - 335. – Библиогр.: с. 335. – На рус. яз.

ББК 22.122

основной = математика : математическая логика
основной = философия : логика : классическая логика : натуральный вывод
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ