| BitTorrent Трекер RusTrek.ru http://5.45.70.241/ |
|
| [Интуит] Алгоритмы и теория вычислений [2009, RUS] http://5.45.70.241/viewtopic.php?f=513&t=24294 |
Страница 1 из 1 |
| Автор: | Релизер [ 2011-11-18 01:29 ] |
| Заголовок сообщения: | [Интуит] Алгоритмы и теория вычислений [2009, RUS] |
Алгоритмы и теория вычислений #777 Год выпуска: 2009 Сайт производителя: intuit.ru Продолжительность: 13:50:02 Тип раздаваемого материала: Видеоурок Язык: Русский Описание: Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство. Курс предусматривает изучение теории алгоритмов и аксиоматического подхода к математической логике. 1. Понятие алгоритма. Классификация алгоритмических моделей. Знакомство с машиной Тьюринга 2. Машина Тьюринга. Вычислимость. Примеры. Способы задания 3. Рекурсивные функции 4. Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов 5. Свойства и варианты конечных автоматов 6. Алгоритмические возможности конечных автоматов. Сети Петри 7. Формальные системы. Свойства, интерпретация, моделирование 8. Формальные грамматики 9. Логика. Исчисления высказываний и исчисление предикатов 10. Метатеория. Введение в исчисление предикатов 11. Интерпретация и полнота исчисления предикатов 12. Метод резолюций в исчислении высказываний и исчислении предикатов Формат видео: FLV Видео: H.263, 480Ч360 (4:3), 25fps, 128Kbps Аудио: MP3, 44100Hz, 96Kbps, 2 channels |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|
