вход на сайт

Имя пользователя :
Пароль :

Восстановление пароля Регистрация
О.П. Кузнецов. Алгоритмы и теория вычислений (лекции, для профессионалов) [WEBRIP, Не требуется]
Рейтинг:
(голосов: 1)



[img]{THEME}/images/logopost.png[/img]



Алгоритмы и теория вычислений / Алгоритмы и теория вычислений

Страна:Россия
Автор и/или Ведущий:О.П. Кузнецов
Жанр:Лекция
Год выпуска: 2009

Перевод: Не требуется

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

Список лекций:
▼1. Понятие алгоритма. Классификация алгоритмических моделей. Знакомство с машиной Тьюринга
В начале лекции рассказывается об истории возникновения математики, формировании понятий "Доказательство" и "Вычисление". Определяется понятие "Алгоритм", приводятся основные требования, предъявляемые к алгоритму. Во второй половине лекции рассказывается о классификации алгоритмических моделей, начинается знакомство с машинами Тьюринга.

2. Машина Тьюринга. Вычислимость. Примеры. Способы задания
В начале лекции обсуждается понятие вычислимости. Далее приводится описание, способы задания, указываются особенности программирования машин Тьюринга (МТ). Рассматриваются основные операции над МТ, доказывается теорема о существовании универсальной МТ.

3. Рекурсивные функции
Лекция посвящена введению в теорию рекурсивных функций. Дается определение, рассматриваются примеры, способы задания рекурсивных функций, формулируются и доказываются соответствующие теоремы.

4. Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
Лекция состоит из двух частей. В первой части обсуждаются вопросы разрешимости и перечислимости множеств, сходимости алгоритмов, приводится формулировка теоремы Райса. Вторая часть лекции посвящена введению в теорию конечных автоматов (КА). Дается формальное определение КА, рассматриваются способы задания, примеры.

5. Свойства и варианты конечных автоматов
В лекции рассматриваются свойства и варианты конечных автоматов (КА). Дается определение, и приводятся примеры эквивалентных автоматов.

6. Алгоритмические возможности конечных автоматов. Сети Петри
В лекции рассматривается понятие регулярного множества. Приводится формулировка теоремы Клини. Рассматривается блочное описание конечного автомата. Обсуждаются понятия композиции и декомпозиции. В заключение рассматриваются сети Петри.

7. Формальные системы. Свойства, интерпретация, моделирование
Лекция посвящена формальным системам (ФС). Дается строгое определение ФС, приводятся примеры, рассматриваются свойства ФС.

8. Формальные грамматики
В лекции рассматриваются и строго определяются такие понятия как формальный язык, грамматика языка, язык грамматики. Приводится классификация формальных грамматик по Хомскому. Рассматриваются примеры.

9. Логика. Исчисления высказываний и исчисление предикатов
В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные различия между исчислением высказываний и исчислением предикатов. Рассматриваются правила вывода Modus Ponens, приводятся примеры их использования.

10. Метатеория. Введение в исчисление предикатов
В первой половине лекции обсуждается понятие метатеории и метатеорем. Приводится теорема о дедукции, ее доказательство, обратная теорема о дедукции. В завершение рассматривается пример. Вторая половина лекции посвящена введению в исчисление предикатов (ИП): рассматриваются основные определения и понятия, дается формальное определение ИП.

11. Интерпретация и полнота исчисления предикатов
В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.

12. Метод резолюций в исчислении высказываний и исчислении предикатов
Лекция целиком посвящена методу резолюций в исчислении высказываний и исчислении предикатов. Подробно излагается идея и суть метода
d8ae0e42408e9fbd2ddc49f69aaeba72be3166d1О.П. Кузнецов. Алгоритмы и теория вычислений (лекции, для профессионалов) [WEBRIP, Не требуется] О.П. Кузнецов. Алгоритмы и теория вычислений (лекции, для профессионалов) [WEBRIP, Не требуется] " />

Аплоадер: Админ, дата: 25-01-2011, 22:30, торрент скачан: 359 раз

Понравилась раздача? Посмотрите эти:
  • [Сборник книг] По математике (108 книг, образование и общество) [1914-2003, ...
  • [Сборник книг] По дискретной математике и логике (410 книг, образование и о ...
  • [Ислам]Ринат абу Мухаммад. лекции // 748 лекции [doc, mp3, 44 kHz/ 128 kbps ...
  • [Ислам]Наиль абу Салих. лекции // 335 лекции [doc, mp3,avi 44 kHz/ 128 kbps ...
  • [Ислам]Арсен абу Яхья. лекции // 535 лекции [doc, mp3, 44 kHz/ 128 kbps, ру ...
  • Delphi - Готовые алгоритмы. Род Стивене
  • Лекции по общей физике (СЗТУ) (Обучающий видеоматериал) [2008, CamRip, avi] ...
  • Лекции по физике "Основы квантовой физики, теория атома и ядра" ( ...
  • Лекции и опыты по химии (СЗТУ) (Обучающий видеоматериал) [2008, CamRip, avi ...
  • Метод Академика Бронникова Информационное Развитие Человека Видео комплект ...
  • [Книги] Босс В.Лекции по математике (математика) [2004-2008, PDF]
  • Р.В.Сатюков, О.С.Давыдов. "Продвинутые" алгоритмы для школьников. ...
  • Курячий Г. В., Маслинский К. А. Операционная система Linux (компьютерная л ...
  • Учебный курс "Объектно-ориентированное программирование" [avi, ex ...
  • ИДДК.Лекции по этике (Аудиокурсы) [2008, MP3, 192 Кбит/с/CBR]
  • В.П. Иванников. Введение в алгоритмы. (лекции, для специалистов) [WEBRIP, Н ...
  • О.П. Кузнецов. Дискретная математика (лекции, для начинающих) [WEBRIP, Не т ...
  • М. В. Оганян - Видео лекции по натуропатии (Натуропатия, лекции, 2010) [Cam ...
  • Яндекс. Курсы информационных технологий. Лекции. Презентации - 8 частей [PD ...
  • Михаил Браво. Лекции по Linux / Michael Bravo - Unix lectures (видео курс, ...
  • Мебиус Артс. Лекции по навыкам делового общения (Деловая литература) [MP3, ...
  • Зигмунд Фрейд. Введение в психоанализ. Лекции. (психология, философия) [MP3 ...
  • Кубенский А.А. Функциональное программирование на примере языка Haskell (пр ...
  • Рузов В.О. Лекции (28 лекций, Психология и саморазвитие) [2009-2010, CAMRip ...
  • [en] Дуглас Крокфорд. Лекции по языку прграммирования JavaScript/ Crockford ...
  • Информация
    Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.