Скачать книгу Алгоритмы и теория вычислений (обучающее видео) бесплатно

Категория Разное | Дата: 18-05-2012, 14:48
  • 0

Алгоритмы и теория вычислений (обучающее видео)


Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство.
Курс предусматривает изучение теории алгоритмов и аксиоматического подхода к математической логике.

1. Понятие алгоритма. Классификация алгоритмических моделей. Знакомство с машиной Тьюринга
2. Машина Тьюринга. Вычислимость. Примеры. Способы задания
3. Рекурсивные функции
4. Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
5. Свойства и варианты конечных автоматов
6. Алгоритмические возможности конечных автоматов. Сети Петри
7. Формальные системы. Свойства, интерпретация, моделирование
8. Формальные грамматики
9. Логика. Исчисления высказываний и исчисление предикатов
10. Метатеория. Введение в исчисление предикатов
11. Интерпретация и полнота исчисления предикатов
12. Метод резолюций в исчислении высказываний и исчислении предикатов

Название: Алгоритмы и теория вычислений
Год выпуска: 2009
Исполнитель: Интуит
Язык: русский
Жанр: обучающее видео
Формат: FLV
Видео: H.263, 480×360 (4:3), 25fps, 128Kbps
Аудио: MP3, 44100Hz, 96Kbps, 2 channels
Размер: 1.41 GB
Продолжительность: 13:50:02

Скачать видео:



Просмотры: 853
Новости, похожие на Алгоритмы и теория вычислений (обучающее видео), "Разное":

Поделитесь ссылкой на новость со своими друзьями:
HTML-cсылка:

BB-cсылка:

Прямая ссылка: