Вы находитесь на странице: 1из 9

Федеральное государственное бюджетное образовательное учреждение высшего профессионального

образования
“Нижегородский государственный архитектурно-строительный университет”
(ННГАСУ)

Факультет инженерно-экологических систем и сооружений


Кафедра информационных систем и технологий

ОТЧЕТ
Ответы на задания по математической логике и теории алгоритмов

Выполнил:
студент гр. ИС-27 Перевезенцев А.С.

Преподаватель: Супрун А.Н.

Нижний Новгород
2020
Задание 1.
Придумать схему технического устройства, моделирующего некоторую
функцию y=f(x1, x2,… x8 ) , состоящую из треугольников, моделирующих
логические операции дизъюнкции, конъюнкции и инверсии. Составить
логическую формулу устройства. С помощью таблицы истинности проверить
соответствие формулы и схемы.

Схема:

В результате получим:
¬
x 1

x1 ∧

x 2
x1 x1 x2
∧ ∨ ∨
x3 ∧
x2 x2 x3 x 3
∧ ∨ ∧
∨ ∧
¬ ¬ x3 ¬
x3
x1 x4 x4 x ∧ x7 ¬
∧ x4
X1 x2 x3 x4 x5 x6 x7 x8 ∧ ∧ 4 ¬ ¬ ∧ x 4
x2 x5 ∧ ∧
∧ x x4 x8 ∧
x5 x5
x ∧ ∧ x 5
4 ∨
5 x x5 x6 ∨
∨ ∨ x 6
5
x6 x7


x8 x 7


x8
0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1
0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1
0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1
0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0
0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0
0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0
0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0
0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0
0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1
0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1
0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1
0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0
0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0
0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0
0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0
0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0
0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1
0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1
0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1
0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0
0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0
0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0
0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0
0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0
0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1
Далее проверим соответствие формулы и схемы с помощью
таблицы истинности:
помощью таблицы истинности было проверено соответствие
формулы и схемы
Задание 2.

Машина А. Тьюринга

Обычно структура алгоритма связывается с машинной математикой. Впервые


такой алгоритм был предложен в 1937 г. и исследован английским математиком
Аланом Тьюрингом. Гипотетическая машина Тьюринга должна состоять из
разбитой на ячейки бесконечной ленты, считывающей-записывающей
информацию головкой управляющего устройства.

Основной тезис А. Тьюринга: всякий алгоритм может быть задан посредством


«Тьюринговой» функциональной схемы и реализован в соответствующей
машине Тьюринга.

Заметим, что указанный тезис Тьюринга до сих пор не доказан и не


опровергнут. Проблема алгоритмической разрешимости исследовалась и
российским учёным А.А. Марковым.

С помощью дополнительной литературы расширьте указанные сведения о


машине Тьюринга и личности этого учёного.

Систему команд машины Тьюринга можно интерпретировать и как описание


работы конкретного механизма, и как программу, управляющей работой
механизма МТ. Обе интерпретации используют на практике.

Машина Тьюринга состоит из следующих частей:

1. Информационной ленты, представляющей бесконечную память машины.


Это бесконечная лента, разделенная на ячейки. В каждой ячейке можно
поместить лишь один символ из возможного их множества S={S 1,S2,
….,Sm},которое составляет внешний алфавит МТ. В этом алфавите один из
символов (пусть это будет S1) соответствует пустому символу.

2. Считывающей головки - чувствительного специального элемента,


способного обозревать содержимое ячеек. Лента может перемещаться вдоль
головки так, что в каждый момент времени головка обозревает одну ячейку.

3. Управляющего устройства (УУ), которое в каждый момент времени


находится в некотором состоянии. Число состояний конечно. Обозначим
множество состояний как {q1,q2,…,qn}. Среди состояний одно соответствует
заключительному, при котором МТ останавливается. УУ связано со
считывающей головкой.

Кроме того, УУ вырабатывает три команды на перемещение ленты: П, Л,


Н, где

П - переместиться на соседнюю справа ячейку;

Л - переместиться соседнюю слева ячейку;


Н - продолжать обозревать ту же ячейку.

Совокупность символов {q1,q2,…,qn} и {П,Л,Н} образуют внутренний


алфавит МТ.

Также, один из стандартных способов формального определения понятия


алгоритма создал А.А. Марков.

Андрей Андреевич Марков – советский математик, сын известного


русского математика А. А. Маркова, основоположник советской школы
конструктивной математики.

Окончил Восьмую Петроградскую гимназию в 1919 году; физико-


математический факультет Петроградского университета по физическому
отделению в 1924 году; аспирантуру в Астрономическом
институте в Ленинграде в 1928 году.
Учёная степень доктора физико-математических наук присвоена без защиты
диссертации в 1935 году. Член-корреспондент АН СССР с 1953 года, в том
же году вступил в КПСС.
В 1933—1955 годах работал в Ленинградском университете (с 1936 г. —
профессор): с 1936 по 1942 год и с 1943 по 1953 год — заведующий кафедрой
геометрии. До июля 1942 года находился в блокадном Ленинграде.
С 1959 по 1979 год — заведующий кафедрой математической
логики Московского государственного университета.
Одновременно в 1939—1972 работал в Математическом институте имени
Стеклова АН СССР.
В 1950-х годах создал в Вычислительном Центре АН СССР лабораторию
математической логики и структуры машин, которой руководил около
двадцати лет.
Основные труды — по теории динамических систем, топологии,
топологической алгебре, теории алгоритмов и конструктивной математике.
Доказал неразрешимость проблемы равенства в ассоциативных системах
(1947), проблемы гомеоморфиии в топологии (1958), создал
школу конструктивной математики и логикии в СССР.
Является автором Принципа Маркова, Нормального
алгоритма Маркова, Теоремы Маркова-Какутани и Теоремы Рисы-Маркова-
Какутани.
Нормальный алгоритм Маркова – один из стандартных способов
формального определения понятия алгоритма (другой известный способ –
машина Тьюринга). Понятие нормального алгоритма введено А.А. Марковым
в конце 1940-ч годов в работах по неразрешимости некоторых проблем
теории ассоциативных вычислений. Традиционное написание и
произношение слова «алгорифм» в этом термине также восходит к его
автору, многие годы читавшему курс математической логики на механико-
математическом факультете МГУ. Нормальный алгоритм описывает метод
переписывания строк, похожий по способу задания на формальные
грамматики. НАМ является Тьюринг – полным языком, что делает его по
выразительной силе эквивалентным машине Тьюринга и, следовательно,
современным языкам программирования. На основе НАМ был создан
функциональный язык программирования Рефал.