Поиск :
Личный кабинет :
Электронный каталог: Сергеева, Ирина Евгеньевна - О различных определениях линейного вывода в исчислении предикатов
Сергеева, Ирина Евгеньевна - О различных определениях линейного вывода в исчислении предикатов
Книга (аналит. описание)
Автор: Сергеева, Ирина Евгеньевна
Актуальные проблемы математики, информатики и образования: О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Автор: Сергеева, Ирина Евгеньевна
Актуальные проблемы математики, информатики и образования: О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Книга (аналит. описание)
Сергеева, Ирина Евгеньевна.
О различных определениях линейного вывода в исчислении предикатов / И. Е. Сергеева // Актуальные проблемы математики, информатики и образования : Сборник статей / Моск. пед. гос. ун-т ; Редкол.: В. Л. Матросов (гл. ред.) и др. - Москва : МПГУ, 2007 . - С. 305-309 . - Библиогр.: с. 309 . - На рус. яз.
2007
основной = математика : математическая логика
основной = математика : математическая логика : исчисление предикатов
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ
основной = аналитика дистант
Сергеева, Ирина Евгеньевна.
О различных определениях линейного вывода в исчислении предикатов / И. Е. Сергеева // Актуальные проблемы математики, информатики и образования : Сборник статей / Моск. пед. гос. ун-т ; Редкол.: В. Л. Матросов (гл. ред.) и др. - Москва : МПГУ, 2007 . - С. 305-309 . - Библиогр.: с. 309 . - На рус. яз.
2007
основной = математика : математическая логика
основной = математика : математическая логика : исчисление предикатов
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ
основной = аналитика дистант