Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=методы резолюции<.>)
Общее количество найденных документов : 1
1.


    Тюрин, С. Ф.

    Метод резолюций и аристотелевская силлогистика в преподавании математической логики [Текст] / С. Ф. Тюрин, Ю. А. Аляев, Ю. В. Чаукин // Открытое образование. - 2005. - N 6. - С. . 54-57. - s, 2005, , rus. - RUMARS-otob05_000_006_0054_1. - Научная библиотека Западно-Казахстанского аграрно-технического университета им. Жангир хана. - N 6. - С. 54-57. - otob05_000_006_0054_1, 6, 54-57
УДК
ББК 74.04
Рубрики: Образование. Педагогика--Организация образования--Применение вычислительной техники в педагогике
   Российская Федерация
    РФ

    Россия

    Москва

Кл.слова (ненормированные):
студенты -- математическая модель -- преподавание -- аристотелевская силлогистика -- методы резолюции -- логика
Аннотация: Новая информационная цивилизация характеризуется возрождением преподавания логики на многих специальностях и направлениях высших учебных заведений, причем часто логика рассматривается как единая наука, как сплав традиционной логики и символической логики.


Доп.точки доступа:
Аляев, Ю. А.; Чаукин, Ю. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)