Теория алгоритмов
Реферат, 10 Апреля 2014
Точное предписание, которое задает вычислительный процесс (называемый в этом случае алгоритмическим), начинающийся с произвольного исходного данного (из некоторой совокупности возможных для данного алгоритма исходных данных) и направленный на получение полностью определяемого этим исходным данным результата. Алгоритмами являются, направления известные из начальной школы правила сложения, вычитания, умножения и деления столбиком; в этих алгоритмах возможными результатами служат натуральные числа, записанные в десятичной системе, а возможными исходными данными - упорядоченные пары таких чисел.
Шпаргалка по "Теории Алгоритмов"
Шпаргалка, 12 Ноября 2013
Работа содержит ответы на вопросы по дисциплине "Теория алгоритмов"
Теория алгоритмов
Сайт-партнер: stud24.ru
Реферат, 25 Февраля 2012
Возникновение теории алгоритмов. Модели вычислений. Тезис Чёрча — Тьюринга и алгоритмически неразрешимые проблемы. Современное состояние теории алгоритмов. Анализ трудоёмкости алгоритмов. Классы сложности.
Теория Алгоритмов
Сайт-партнер: stud24.ru
Курсовая работа, 12 Июля 2013
Теорія алгоритмів - дисципліна що вивчає як саме поняття алгоритму, так і поняття алгоритмічної розв'язності задач.
Перші, та найчисленніші застосування теорія алгоритмів мала в математичній логіці, адже вона виникла саме як розділ математичної логіки. Теорія алгоритмів є фундаментом програмування та інформатики.
Поштовхом до виникнення теорії алгоритмів, як окремого розділу математики, стала невдача в знаходженні алгоритмів розв'язку деяких масових проблем. Найвідомішими з них були проблема істинності для арифметичних формул, проблема істинності для формул числення предикатів першого порядку та десята проблема Гільберта про розв'язність діофантових рівнянь.
Теория алгоритмов
Сайт-партнер: yaneuch.ru
Контрольная работа, 23 Мая 2013
Теория алгоритмов - наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т.п.
Цели и задачи теории алгоритма
Сайт-партнер: turboreferat.ru
Курсовая работа, 24 Декабря 2011
Обобщая результаты различных разделов теории алгоритмов можно выделить следующие цели и соотнесенные с ними задачи, решаемые в теории алгоритмов:
формализация понятия «алгоритм» и исследование формальных алгоритмических систем;
формальное доказательство алгоритмической неразрешимости ряда задач;
классификация задач, определение и исследование сложностных классов;
асимптотический анализ сложности алгоритмов;
исследование и анализ рекурсивных алгоритмов;
получение явных функций трудоемкости в целях сравнительного анализа алгоритмов;
Теория алгоритмов в лицах: А. А. Марков
Сайт-партнер: myunivercity.ru
Курсовая работа, 19 Мая 2013
Целью данной работы является изучение биографии А.А.Маркова, в частности событий и фактов, повлиявших на его становление как ученого и его вклад в «Теорию алгоритмов».
Задачи, решенные в процессе выполнения данной работы:
1.Изучить биографию А.А. Маркова: семья, образование, карьера.
2.Проанализировать вклад А. А. Маркова в развитии «Теории алгоритмов».
3.Раскрыть сущность нормального алгоритма Маркова и роль данной модели в развитии.
Математическая логика и теория алгоритмов
Сайт-партнер: myunivercity.ru
Лабораторная работа, 11 Февраля 2013
Лабораторная работа № 1. Логика высказываний
Цель работы – научиться переводить выражения на естественном языке на язык логики высказываний. Научиться проверять логическое следствие.
Порядок выполнения
Ознакомиться с методическими указаниями
Решить цикл задач для самостоятельной работы.
Формализовать и решить задачу (номер задачи соответствует номеру бригады).
Придумать и решить аналогичную п.3 задачу. Задача должна содержать не менее 1-й импликации и хотя бы одну конъюнкцию или дизъюнкцию, и не менее 3-х логических переменных.
Проверить правильность решения задач из п.3 и 4 на ЭВМ (программа tautology.rb).
Оформить отчет.