Теория алгоритмов



Скачать 10.21 Kb.
Дата08.10.2012
Размер10.21 Kb.
ТипЛитература


ТЕОРИЯ АЛГОРИТМОВ

с.н.с. З.А. Кузичева

3 курс, философский факультет

1. Общие представления об алгоритмах. Примеры: умножения у египтян, способы умножения и деления, приводимые Л. Пачоли.

2. Алфавиты. Слова в алфавите. Пример умножения в алфавите А = 1, *, +. Нормальный алгоритм Маркова. Виды подстановок. Примеры нормальных алгоритмов Маркова. Тезис Маркова.

3. Алгоритмы Тьюринга. Вычислимость по Тьюрингу.

4. Рекурсивные функции. Исходные функции. Правила построения функций из уже полученных ранее. Теоремы о введении фиктивной переменной и о перестановке переменных. Примеры примитивно рекурсивных функций. Ограниченные суммы и произведения функций. Примитивно рекурсивные отношения. Ограниченные кванторы общности и существования. Условия их примитивной рекурсивности. Ограниченный оператор минимизации. Представление об обще рекурсивных и частично рекурсивных функциях. Тезис Черча.

5. Ассоциативные исчисления. Примеры алгоритмически неразрешимых проблем.
Литература

1. Мендельсон Э. Введение в математическую логику. Пер. с англ., 1976 (или любое другое изд.), гл.3, 2,3; гл.5, 1,2,4.

2. Марков А.А. Теория алгоритмов.// Труды Матем. Ин-та АН СССР им. В.А. Стеклова, 1954, т. 42 или Марков А.А., Нагорный Н.М. Теория алгоритмов.

3. Успенский В.А., Семенов А.Л. Теория алгоритмов: Основные открытия и приложения. М., 1987.




Похожие:

Теория алгоритмов iconРабочая программа дисциплины "Теория алгоритмов" для подготовки специалиста по специальности 030100 "
Дисциплина "Теория алгоритмов" рассматривает основополагающие вопросы теоретической информатики
Теория алгоритмов iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Теория алгоритмов icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Теория алгоритмов iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Теория алгоритмов iconРабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Теория алгоритмов iconИзложение материала курса «Математическая логика и теория алгоритмов»
Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности «Компьютерная безопасность»
Теория алгоритмов iconД. С. Осипенко Понятие алгоритма. Примеры алгоритмов. Свойства алгоритмов. Способы описания алгоритмов.
Обучающая: ознакомить с общим понятием алгоритмов; привести примеры; ознакомить учащихся с правилами написания алгоритмов; научить...
Теория алгоритмов iconРабочая учебная программа по дисциплине «Математическая логика и теория алгоритмов» для направления 010400 Прикладная математика и информатика по циклу Б. 2 математический и естественнонаучный цикл вариативная часть
Тем самым развитие теории алгоритмов в 30-е годы XX столетия, явилось стимулом для появления в 40-х годах первых компьютеров
Теория алгоритмов iconЛекции по курсу «теория автоматического управления» теория линейных систем автоматического
Синтез алгоритмов управления линейными системами при неполной информации о векторе состояния системы
Теория алгоритмов iconПрограмма дисциплины дпп. Ф. 02. «Дискретная математика» Специальность 030100 (050202. 65) информатика
Цель курса – дать студентам первоначальные знания по основам дискретной математики, заложить основы, необходимые для восприятия таких...
Разместите кнопку на своём сайте:
ru.convdocs.org


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