Поиск по:www.intsys.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.intsys.msu.ru ,которые мы индексируем. Показаны документы 121 - 140 из 545.
Упорядочить по:
URL
|
дате изменения
121. Интеллектуальные системы :: Новости :: Объявления
. [an error occurred while processing the directive] . [an error occurred while processing the directive] . [an error occurred while processing the directive] . Объявления . объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате . Обновления . анонсы новых материалов на нашем сервере . Рассылка . подписка на почтовую рассылку новостей и обновлений сервера . 04.07.15 . 6 июля - доклад Андрея Мохова "Графы с предикатами и их применения" на спецкурсе доц. П.А. Пантелеева "Введение в теорию
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/news/announces/archive.htm -- 587.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
122. Интеллектуальные системы :: Сотрудники :: Гасанов Эльяр Эльдарович ::
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники . ... Сотрудники :: Гасанов Эльяр Эльдарович :: Публикации Гасанова Э.Э. Скачать статью полностью в формате PDF (300 кб): modelir.pdf . ... При программировании поиска для многопроцессорных систем существует как минимум два подхода. ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/gasanov/modelir.htm -- 12.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
123. Интеллектуальные системы :: Сотрудники :: Подколзин Александр Сергеевич ::
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники . ... Сотрудники :: Подколзин Александр Сергеевич :: Публикации Подколзина А.С. Москва, Физматлит, 2008 г. Наверх . 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/podkolzin/KMLP1.htm -- 11.2 Кб -- 09.04.2016
Похожие документы
Похожие документы
124. Интеллектуальные системы :: Учеба :: Курсы :: Cпецкурс "Дополнительные главы
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Перейти к полному списку специальных курсов кафедры . Дополнительные главы теории автоматов . ... Проблема полноты и выразимости. Мощность полных систем автоматов. ... Полнота системы двухместных автоматов. ... Алгоритмическая неразрешимость проблемы полноты конечных систем автоматов относительно композиции. ... Разрешимость проблемы полноты для систем автоматов, содержащих истинностные функции. ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/dopglav.htm -- 14.0 Кб -- 09.04.2016
Похожие документы
Похожие документы
125. Интеллектуальные системы :: Кафедра :: Выпускники :: 2-х дневная экскурсия в г.
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... механико-математического факультета МГУ им. М. В. Ломоносова . ... Кафедра . ... РФЯЦ-ВНИИЭФ находится в г. Саров Нижегородской области и ведет свою историю с 1946 года. ... РФЯЦ-ВНИИЭФ) . ... Экскурсии по городу и по историческим местам, связанным с жизнью и деятельностью святого Серафима Саровского. ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/matis/graduates/visit.htm -- 15.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
126. Интеллектуальные системы :: Сотрудники :: Гасанов Эльяр Эльдарович :: О
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники . ... Сотрудники :: Гасанов Эльяр Эльдарович :: Публикации Гасанова Э.Э. Скачать статью полностью в формате PDF (400 кб): ofunksl.pdf . ... Предлагается модификация алгоритма Бентли-Маурера, решающего двумерную задачу интервального поиска. ... На основе этих результатов получены верхние оценки функциональной сложности двумерной задачи интервального поиска. ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/gasanov/ofunksl.htm -- 12.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
127. Интеллектуальные системы :: Учеба :: Студенты :: Расписание занятий (5 курс,
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Кафедра . ... Учеба . ... Список студентов 5-го курса по группам можно посмотреть здесь . ... СИСТЕМЫ, доц. Кумсков, 20-17 . ... БАЗЫ ДАННЫХ, лекция . ... ФИЛОСОФИЯ, лекция, профессор ПЕРМИНОВВ. ... ПРИКЛАДНЫЕ ПРОБЛЕМЫ АЛГЕБРЫ, лекция . ... ФИЗИКА, лекция . ... ФИЛОСОФИЯ, лекция . ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/students/5sched.htm -- 18.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
128. Интеллектуальные системы :: Учеба :: Студенты :: Расписание занятий (4 курс,
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Кафедра . ... Учеба . ... Список студентов 4-го курса по группам можно посмотреть здесь . ... ауд. ... Профессор Кобельков Г. М. Ауд. ... АНАЛИТИЧЕСКАЯ МЕХАНИКА проф. Вильке, ауд. ... Профессор Нестеренко Ю. В. ауд. ... Профессор Галеев Э. М. Ауд. ... ТЕОРИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ . ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/students/4sched.htm -- 19.1 Кб -- 09.04.2016
Похожие документы
Похожие документы
129. Интеллектуальные системы :: Учеба :: Студенты :: Расписание занятий (3 курс,
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Кафедра . ... Учеба . ... Список студентов 3-го курса по группам можно посмотреть здесь . ... ауд. ... Доцент Вентцель Т. Д. ауд. ... Профессор Зубков А. М. ауд. ... н.с. Алисейчик П.А. , ауд. ... Профессор ФАЛИН Г. И. ауд. ... Доцент Гнеденко Д. Б. Ауд. ... Доцент Рыжиков Ю. Е. ауд. ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/students/3sched.htm -- 22.3 Кб -- 09.04.2016
Похожие документы
Похожие документы
130. Интеллектуальные системы :: Сотрудники :: Носов Валентин Александрович ::
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники . ... Сотрудники :: Носов Валентин Александрович :: Публикации Носова В.А. Скачать пособие полностью в формате PDF (2,4 МБ): theoralg.zip . ... Настоящее пособие возникло на основе курса лекций, читаемых слушателям, обучающимся по специальности 'Прикладная математика'. ... Сложность алгоритмов, использующих рекурсию. ... Возникло важное направление в теории алгоритмов - сложность алгоритмов и вычислений. ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/vnosov/theoralg.htm -- 28.3 Кб -- 09.04.2016
Похожие документы
Похожие документы
131. Интеллектуальные системы :: Сотрудники :: Носов Валентин Александрович :: О
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники :: Носов Валентин Александрович :: Публикации Носова В.А. В работе предлагается конструкция параметрических классов латинских квадратов размером 2 n 2 n над множеством булевских векторов длины n, которая не требует запоминания латинского квадрата. ... 2) Пусть E n - множество двоичных наборов длины n. В этом случае латинский квадрат над множеством E n может быть задан системой из n булевых функций . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/vnosov/latquadr.htm -- 52.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
132. Интеллектуальные системы :: Сотрудники :: Носов Валентин Александрович :: О
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники :: Носов Валентин Александрович :: Публикации Носова В.А. 1. ... Реализация данного подхода приводит к необходимости решения комбинаторных задач, связанных с определением существования системы различных представителей для семейства множеств, и определения числа систем различных представителей, удовлетворяющих различным ограничениям. ... Системы различных представителей семейства нечетких множеств . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/vnosov/fuzzyfam.htm -- 50.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
133. Интеллектуальные системы :: Сотрудники :: Бабин Дмитрий Николаевич :: О
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники :: Бабин Дмитрий Николаевич :: Публикации Бабина Д.Н. Рассматривается задача полноты конечных систем автоматных функций относительно операций суперпозиции и обратной связи. ... Автоматная функция . ... 3.Бабин Д.Н., Алгоритмическая разрешимость свойств полноты и А-полноты конечных систем автоматных функций с линейной истинностной частью, Интеллектуальные системы, том 3, 1998 г., с.51-69, Москва. ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/babin/galushkin.htm -- 20.6 Кб -- 09.04.2016
Похожие документы
Похожие документы
134. Интеллектуальные системы :: Учеба :: Курсы :: Материалы к спецкурсу
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Перейти к полному списку специальных курсов кафедры . А. М. Миронов. ... Аксиоматический метод - Строки и функции на них - Формальные системы - Оператор доказуемости - Лемма о неподвижной точке - Теорема Геделя. ... Математическая логика. ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/clogics.htm -- 12.6 Кб -- 09.04.2016
Похожие документы
Похожие документы
135. Интеллектуальные системы :: Сотрудники :: :: Заключение диссертационного совета
. Официальный сайт кафедры Математической теории интеллектуальных систем и . лаборатории Проблем теоретической кибернетики . механико-математического факультета МГУ им. М. В. Ломоносова . Новости . Кафедра . Сотрудники . Учеба . Наука . Исследования . Журнал . Культура . [an error occurred while processing the directive] . [an error occurred while processing the directive] . [an error occurred while processing the directive] . Запрашиваемая Вами страница не найдена на сервере. Возможно, что адрес искомой
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/staff/chernova/sovet.htm -- 835.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
136. Интеллектуальные системы :: Учеба :: Курсы :: Спецкурс "Современная теория
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Перейти к полному списку специальных курсов кафедры . ... Основные направления в современной теории кодирования. ... Блочные и сверточные коды. ... Алгебраическая теория кодирования. Алгебраический аппарат, используемый в теории кодирования. ... Современные методы теории кодирования. ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/sovrtk.htm -- 13.4 Кб -- 09.04.2016
Похожие документы
Похожие документы
137. Интеллектуальные системы :: Учеба :: Курсы :: Спецкурс "Введение в
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Перейти к полному списку специальных курсов кафедры . ... Сыркин Г.И. Время и место проведения: вторник 16:45 в ауд. 12-26а. Годовой спецкурс для студентов 1-5 курсов. ... Введение в алгоритмическую алгебру. ... Алгоритмическая разрешимость теорий некоторых классов алгебраических систем. ... 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики . ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/algalg.htm -- 23.3 Кб -- 09.04.2016
Похожие документы
Похожие документы
138. Интеллектуальные системы :: Учеба :: Курсы :: Программа спецкурса "Оптимизация
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Перейти к полному списку специальных курсов кафедры . 1 Постановка основных математических задач в теории сложности алгоритмов и их значение для обработки экономической информации. Роль оптимизации и сложности алгоритмов в разработке программных продуктов искусственного интеллекта. 2 Модели вычислений, используемые для оценки сложности алгоритмов и вычислений. ... 7 Оптимизация алгоритмов перебора. ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/optalg.htm -- 18.2 Кб -- 09.04.2016
Похожие документы
Похожие документы
139. Интеллектуальные системы :: Учеба :: Курсы :: Полугодовой спецкурс
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Перейти к полному списку специальных курсов кафедры . Спецкурс адресован студентам, интересующимся практическими приложениями математики в области создания компьютерных систем автоматического анализа звучащей речи и естественно-языковых математических моделей при анализе электронных текстов. ... Компьютерные математические пакеты (RPL, SPL, IPPS, HTK) и их применение для построения систем распознавания речи. ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/speech.htm -- 13.8 Кб -- 09.04.2016
Похожие документы
Похожие документы
140. Интеллектуальные системы :: Учеба :: Курсы :: Теория баз данных и
Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Учеба . ... Руководитель курса: проф. Гасанов Э.Э. Время и место проведения: суббота 10:45 в ауд. ... Целью спецкурса является описание подхода к исследованию сложностных характеристик алгоритмов поиска с помощью методов теории управляющих систем. В спецкурсе рассматриваются наиболее популярные задачи поиска, возникающие в базах данных, и приводятся как традиционные, так и оригинальные алгоритмы решения этих задач. ...
[
Сохраненная копия
]
Ссылки http://www.intsys.msu.ru/study/courses/dbinfs.htm -- 15.7 Кб -- 09.04.2016
Похожие документы
Похожие документы