Теория алгоритмов в лицах: А. А. Марков
Курсовая работа, 19 Мая 2013
Целью данной работы является изучение биографии А.А.Маркова, в частности событий и фактов, повлиявших на его становление как ученого и его вклад в «Теорию алгоритмов».
Задачи, решенные в процессе выполнения данной работы:
1.Изучить биографию А.А. Маркова: семья, образование, карьера.
2.Проанализировать вклад А. А. Маркова в развитии «Теории алгоритмов».
3.Раскрыть сущность нормального алгоритма Маркова и роль данной модели в развитии.
Математическая логика и теория алгоритмов
Курс лекций, 11 Марта 2014
В современной логике логические процессы изучаются путем их отображения в формализованных языках или логических исчислениях. Построение исчисления отличается особой тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка. Исследованием формального строения логических исчислений, правил образования и преобразования занимается логический синтаксис. Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются логической семантикой. Современная логика слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы содержательных рассуждений. В данном курсе будут рассмотрены классические исчисление высказываний и исчисление предикатов первого порядка.
Математическая логика и теория алгоритмов
Лабораторная работа, 11 Февраля 2013
Лабораторная работа № 1. Логика высказываний
Цель работы – научиться переводить выражения на естественном языке на язык логики высказываний. Научиться проверять логическое следствие.
Порядок выполнения
Ознакомиться с методическими указаниями
Решить цикл задач для самостоятельной работы.
Формализовать и решить задачу (номер задачи соответствует номеру бригады).
Придумать и решить аналогичную п.3 задачу. Задача должна содержать не менее 1-й импликации и хотя бы одну конъюнкцию или дизъюнкцию, и не менее 3-х логических переменных.
Проверить правильность решения задач из п.3 и 4 на ЭВМ (программа tautology.rb).
Оформить отчет.
Контрольная работа по "Математической логике и теории алгоритмов"
Контрольная работа, 25 Января 2013
1. Отношение задано на множестве целых чисел {53, 43, 54, 42, 44, 60, 50, 20} . Для каждого из следующих отношений:
1.1 проверить, является ли отношение рефлексивным, симметричным,
антисимметричным (строгим, нестрогим), транзитивным;
1.2. построить матрицы и графы этих отношений;
1.3. определить являются ли эти отношения отношениями эквивалентности,
частичного порядка, линейного порядка;
1.4.. для отношений эквивалентности построить классы эквивалентности;
1.5. для отношений частичного порядка применить алгоритм топологической
сортировки и получить отношение строго порядка;
1.6. построить транзитивные замыкания всех отношений.
• xRy x и y имеют одинаковые остатки при делении на 3;
• xQy в наборе имеется элемент, больший x , но меньший y ;
2. Будет ли логичным следующее рассуждение: Если губернатор не имеет
соответствующего авторитета или если он не желает принимать на себя
ответственность, то порядок не будет восстановлен и волнения не прекратятся до
тех пор, пока участникам волнений это не надоест, и власти не начнут
примирительные действия. Следовательно, если губернатор не желает взять на себя
ответственность и участникам волнений это не надоест, то волнения не прекратятся.
Быстрая сортировка (QuickSort). Теория алгоритма быстрой сортировки. Ее реализация на Java
Контрольная работа, 18 Января 2013
Краткое описание алгоритма
выбрать элемент, называемый опорным.
сравнить все остальные элементы с опорным, на основании сравнения разбить множество на три — «меньшие опорного», «равные» и «большие», расположить их в порядке меньшие-равные-большие.
повторить рекурсивно для «меньших» и «больших».
Алгоритмические основы вычислительных процессов. Элементы теории алгоритмов и формальных языков
Контрольная работа, 08 Февраля 2013
Цель: разобрать : формальный язык и его применение в области информатики, а так же формальная грамматика и ее порождающие