Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://www.intsys.msu.ru/staff/mironov/stochalg.pdf. Показаны документы 1 - 1 из 1.
1. Интеллектуальные системы :: Учеба :: Курсы :: Материалы к спецкурсу
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Перейти к полному списку специальных курсов кафедры . А. М. Миронов. ... Аксиоматический метод - Строки и функции на них - Формальные системы - Оператор доказуемости - Лемма о неподвижной точке - Теорема Геделя. ... Математическая логика. ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/clogics.htm -- 12.6 Кб -- 09.04.2016
Похожие документы
Похожие документы