Программа по курсу: основы теории




Скачать 18.38 Kb.
НазваниеПрограмма по курсу: основы теории
Дата13.02.2013
Размер18.38 Kb.
ТипПрограмма


Министерство образования и науки Российской Федерации

Московский физико-технический институт

(государственный университет)


УТВЕРЖДАЮ


Проректор по учебной работе

__________ Ю. А Самарский

«___»____________ 2008 г.


ПРОГРАММА



по курсу: ОСНОВЫ ТЕОРИИ COMPUTER SCIENCE (по выбору)

по направлению: 511600

факультеты: ФРТК, ФОПФ, ФАКИ, ФМБФ, ФФКЭ, ФУПМ, ФПФЭ

кафедра: ИНФОРМАТИКИ

курс: 4

семестры: 7, 8

практические занятия: 66 часов зачёт дифф.


ВСЕГО ЧАСОВ: 66


Программу составил: профессор, д.ф.-м.н. Л.Н. Столяров


Программа обсуждена

на заседании кафедры информатики

28 августа 2008 г.


Заведующий кафедрой, И.Б. Петров

профессор


  1. Элементы алгебр логики. Полные наборы функций алгебры логики. Комбинаторные схемы.

  2. Исчисление высказываний и исчисление предикатов. Логические аксиоматические системы. Правила вывода modus ponens и modus tollens.

  3. Аристотелевы силлогизмы и их современная модификации.

  4. Неклассические логики.

  5. Исчисление Туэ. Языки и формальные грамматики, классификация Хомского.

  6. Автоматы и формальные грамматики. Задачи порождения и распознавания. Словарные паттерны. Событийный анализ.

  7. Асинхронные процессы и модели их взаимодействия. Сети Петри.

  8. Бинарные отношения и графы. Отношения эквивалентности, толерантности и порядка. Решетчатые порядки и алгебры.


Задачи

  1. Предложить алгоритм, переводящий регулярное выражение в таблицу конечного автомата.

  2. Предложить алгоритм, переводящий таблицу конечного автомата в регулярное выражение, которое допускает этот конечный автомат.

  3. Построить КС-грамматику, порождающую язык Дика и Магазинный автомат, распознающий слова языка Дика.

  4. Построить сеть Петри для взаимодействующих двух линейных конвейеров. Написать асинхронный протокол взаимодействия.

  5. Построить сеть Петри для 3-процессорной системы с общей памятью, работающей над одной общей функцией.


СПИСОК ЛИТЕРАТУРЫ

  1. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1971 г.

  2. Гросс М., Лантен А. Теория формальных грамматик. – М.: Мир, 1971 г.

  3. Aho A., Ulman J. Foundation of Computer Science. Nex York: C-edition, 1997 г.


Похожие:

Программа по курсу: основы теории iconУчебно-методических материалов по курсу Основы теории литературы Для студентов факультета журналистики
Сборник учебно-методических материалов по курсу «Основы теории литературы». – М.: Импэ им. А. С. Грибоедова, 2006. – 64 с
Программа по курсу: основы теории iconУчебно-методических материалов по курсу Основы теории литературы Для студентов факультета журналистики
Сборник учебно-методических материалов по курсу «Основы теории литературы». – М.: Импэ им. А. С. Грибоедова, 2006. – 64 с
Программа по курсу: основы теории iconОрлова Е. И. Основы теории литературы: для отделений и факультетов журналистики государственных университетов
Сборник методических материалов по курсу «Основы теории литературы». – М.: Импэ им. А. С. Грибоедова, 2003. – 19 с
Программа по курсу: основы теории iconУчебно-методических материалов по курсу основы теории межкультурной коммуникации Для студентов факультета лингвистики
Сборник учебно-методических материалов по курсу «Основы теории межкультурной коммуникации». – М.: Импэ им. А. С. Грибоедова, 2003....
Программа по курсу: основы теории iconОбразовательная программа по курсу: «Основы квантовой теории информации» магистерская программа
Программа утверждена Решением Ученого Совета (Факультет инноваций и высоких технологий)
Программа по курсу: основы теории iconПрограмма курса составитель: проф. В. В. Красных вводные замечания курс «Основы психолингвистики и теории коммуникации»
Данный курс призван не только заложить основы и сформировать базовые представления о самой психолингвистике, но и подготовить слушателей...
Программа по курсу: основы теории iconРабочая программа охватывает основные разделы дисциплины «Основы экономической теории»
Основы экономической теории: Рабочая программа, задания на курсовую работу. –СПб. Сзту, 2000, 26 с
Программа по курсу: основы теории iconЛитература 1 Бидерман В. Л
Культербаев Х. П. Основы теории колебаний. Основы теории, задачи для домашних заданий, примеры решений. Нальчик, 2003. 130 с
Программа по курсу: основы теории iconПрограмма-минимум кандидатского экзамена по специальности 05. 02. 23 «Стандартизация и управление качеством продукции» по техническим наукам
Настоящая программа базируется на следующих дисциплинах: основы стандартизации и метрологии, теория оптимизации, основы менеждмента,...
Программа по курсу: основы теории iconI. Введение Цель дисциплины
Изложить основы теории множеств и бинарных отношений, изложить основы теории вероятности и математической статистики. Изложить основы...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница