Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов



Скачать 415.96 Kb.
страница1/4
Дата01.02.2013
Размер415.96 Kb.
ТипРабочая программа
  1   2   3   4
Федеральное агентство по образованию

Федеральное государственное образовательное учреждение

высшего профессионального образования

«Чувашский государственный университет имени И.Н. Ульянова»

Технический институт

Факультет дизайна и компьютерных технологий

Кафедра компьютерных технологий
УТВЕРЖДАЮ

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

проф. ____________ А.Ю. Александров

«____» ___________________ 2010 г.
РАБОЧАЯ ПРОГРАММА
Дисциплина ЕН.Ф.01.04 – МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Направление 654600 – Информатика и вычислительная техника

Специальность 230102 – Автоматизированные системы обработки информации и управления

БЮДЖЕТ ВРЕМЕНИ (ЧАС.)

Срок обучения

Сем

Всего

Аудиторные занятия

Сам. раб.

Итоговый контроль

Всего ауд

Лек

Прак

Лаб

Контр. раб.

Зач.

Экз.

Курс. пр (раб)

4,5 г.об.

3

100

18

10

8

-

82

+




+




6 лет

3

100

18

10

8

-

82

+




+

Курс.раб.

3,5 г.об.


3

100

51

34

17

-

49




+




Курс.раб.

5 лет

3

100

68

34

34

-

32

Расч.-гр. раб.

+

+





Рабочая программа составлена в соответствии с государственным образовательным стандартом высшего профессионального образования направления подготовки дипломированного специалиста 654600 – Информатика и вычислительная техника, специальности 230102 – Автоматизированные системы обработки информации и управления, утвержденным 27 марта 2000г. (Регистрационный номер 224 тех/дс).
Составитель: ст.пр. кафедры КТ Н.А. Кузнецова
Рабочая программа обсуждена, одобрена и рекомендована к использованию на заседании кафедры компьютерных технологий, «___» ___________ 2010 г., протокол №___

Зав. кафедрой компьютерных технологий,

профессор В.П. Желтов
Рассмотрена и одобрена методическим советом ФДиКТ

Декан, председатель методсовета факультета ДиКТ В.П. Желтов
Чебоксары 2010

ЦЕЛИ И ЗАДАЧИ ДИСЦИПЛИНЫ, ЕЕ МЕСТО В УЧЕБНОМ ПРОЦЕССЕ

ЦЕЛЬ ПРЕПОДАВАНИЯ ДИСЦИПЛИНЫ

Целью преподавания дисциплины является изучение теоретических и алгоритмических основ базовых разделов математической логики и теории алгоритмов.
В результате изучения дисциплины студенты должны:

- получить знания об основах логики высказываний, логики предикатов, нечеткой логики и теории алгоритмов;

- знать и уметь использовать теоретические основы и прикладные средства математической логики и теории алгоритмов;

- знать основные методы и алгоритмы математической логики, связанные с моделированием и оптимизацией систем различной природы;

- иметь представление о тенденциях и перспективах развития инструментальных средств математической логики и теории алгоритмов;

- уметь строить и анализировать алгоритмы для решения дискретных задач

СОДЕРЖАНИЕ ДИСЦИПЛИНЫ

Содержание дисциплины по государственному образовательному стандарту.

Логика высказываний; логика предикатов; исчисления; непротиворечивость; полнота; синтаксис и семантика языка логики предикатов. Клаузальная форма. Метод резолюций в логике предикатов. Принцип логического программирования. Темпоральные логики; нечеткая и модальные логики; нечеткая арифметика; алгоритмическая логика Ч. Хоара. Логика высказываний. Логическое следование, принцип дедукции. Метод резолюций. Аксиоматические системы, формальный вывод. Метатеория формальных систем. Понятие алгоритмической системы. Рекурсивные функции. Формализация понятия алгоритма; Машина Тьюринга. Тезис Черча; Алгоритмически неразрешимые проблемы. Меры сложности алгоритмов. Легко и трудноразрешимые задачи. Классы задач P и NP. NP – полные задачи. Понятие сложности вычислений; эффективные алгоритмы. Основы нечеткой логики. Элементы алгоритмической логики.

Введение.

Организация учебного процесса. Рекомендуемая литература. Цели и задачи курса, связь с другими дисциплинами.
  1   2   3   4

Похожие:

Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconРабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconРабочая программа дисциплины Математическая логика и теория алгоритмов

Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconРабочая программа дисциплины математическая логика и теория алгоритмов
Рабочая программа обсуждена на заседании кафедры вычислительной техники “ ” 2002 г., протокол №
Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconРабочая программа дисциплины "Теория алгоритмов" для подготовки специалиста по специальности 030100 "
Дисциплина "Теория алгоритмов" рассматривает основополагающие вопросы теоретической информатики
Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconРабочая учебная программа по дисциплине «Математическая логика и теория алгоритмов» для направления 010400 Прикладная математика и информатика по циклу Б. 2 математический и естественнонаучный цикл вариативная часть
Тем самым развитие теории алгоритмов в 30-е годы XX столетия, явилось стимулом для появления в 40-х годах первых компьютеров
Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов iconМосковская государственная академия приборостроения и информатики кафедра " Персональные компьютеры и сети"
Ульянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: Мгапи, 2003. – 47...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org