ВАШЕ СВИДЕТЕЛЬСТВО
О ПУБЛИКАЦИИ В СМИ И РЕЦЕНЗИЯ
бесплатно за 1 минуту
Добавить материал
Количество Ваших материалов: 0.
Авторское
свидетельство о публикации в СМИ
добавьте 1 материал
Свидетельство
о создании электронного портфолио
добавьте 5 материала
Секретный
подарок
добавьте 10 материалов
Грамота за
информатизацию образования
добавьте 12 материалов
Рецензия
на любой материал бесплатно
добавьте 15 материалов
Видеоуроки
по быстрому созданию эффектных презентаций
добавьте 17 материалов
Ахмед Изнауров Свидетельство о публикации Рецензия
Свидетельство Скачивание доступно только автору
Вычислимые числовые функции

Вычислимые числовые функции

В курсе излагаются фундаментальные математические результаты, составляющие теоретическую основу информатики. Они входят в состав ряда научных дисциплин, в числе которых теория алгоритмов, математическая логика, теория формальных систем и языков, математическая теория сложности, теория информации. Материал курса изложен систематически и с единых позиций. Некоторые темы, относящиеся к данному предмету, изучались в обязательном курсе «Дискретная математика» и потому опущены. В первую часть курса (5 семестр) входит рассмотрение формальных моделей алгоритмов и вычислений (на базе машины Тьюринга), изучение частично-рекурсивных функций и доказательство их эквивалентности вычислимым функциям, построение универсальных машин и универсальных частично-рекурсивных функций, изучение связанных с ними нумераций и доказательство ряда общих теорем теории алгоритмов, анализ свойств разрешимых и перечислимых множеств, освоение техники доказательства алгоритмической неразрешимости, рассмотрение формальных систем общего вида и их частных случаев – грамматик и логических исчислений, изучение контекстно-свободных грамматик, исследование свойств исчисления высказываний.

  • Научно-исследовательская работа
  • Научные работы
  • Образовательные программы
  • Повышение квалификации
  • Подготовка к тестированию
  • Информатика
  • Высшее образование

Все файлы материала:
закрыть
НОВОЕ СООБЩЕНИЕ
Администрация «Знанио»
Здравствуйте, проверьте свои знания
во Всероссийских педагогических тестированиях:

- выберите тему
- пройдите небольшой тест
- получите СЕРТИФИКАТ ОТЛИЧИЯ