Программа дисциплины математическая логика и теория алгоритмов Цикл ен. Ф. Специальность



Скачать 141.57 Kb.
страница1/2
Дата05.05.2018
Размер141.57 Kb.
ТипПрограмма дисциплины
  1   2

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ


"УТВЕРЖДАЮ"

Проректор

__________ В.С.Бухмин

ПРОГРАММА ДИСЦИПЛИНЫ


Математическая логика и теория алгоритмов

Цикл ЕН.Ф.

Специальность: 013800Радиофизика и электроника

Специализация: 013817 – Компьютерные информационные системы и защита информации

Принята на заседании кафедры Теории относительности и гравитации

(протокол № 6 от "5" июня 2009 г.)

Заведующий кафедрой
________________ (А.В. Аминова)


Утверждена Учебно-методической комиссией физического факультета КГУ.

(протокол №___ от "__"__________200__ г.)
Председатель комиссии
____________________ (Д.А. Таюрский)


Рабочая программа дисциплины "Математическая логика и теория алгоритмов" предназначена для студентов 3 курса

по специальности: 013800 – Радиофизика и электроника

Специализация: 013817 – Компьютерные информационные системы и защита информации
АВТОР: Иваньшин П.Н.
КРАТКАЯ АННОТАЦИЯ: Курс лекций «Математическая логика и теория алгоритмов» состоит из разделов: исчисление высказываний, исчисление предикатов, элементы теории булевых и псевдобулевых функций, многозначные логики (теория Полиа), теория алгоритмов, реляционное исчисление.



Поделитесь с Вашими друзьями:
  1   2


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

    Главная страница