Описание материала:
Пояснительная записка к курсовому проекту по математической логике «Выполнение алгоритмов с помощью интерпретаторов машины Поста и машины Тьюринга». Материал содержит текст программы в виде отдельного файла. Задание:
2.1 Задано универсальное множество (алфавит) и слово в этом алфавите. Найти дополнение множество символов слова до универсального множества. Используя машину Тьюринга
2.2 На машине Поста выполнить операцию умножения двух двоичных слов
Полное название: Математическая логика и теория алгоритмов
Описание материала:
Пособие содержит следующие разделы. Логику высказыванй и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления и элементы неклассических логик: трехзначные и многозначные логики, модальную, временую и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и из взаимосвязи. Понятие о сложности вычислений, различные классы задач и примеры таких задач. Пособие преднозначено студентам технических вузов.
Полное название: Что такое математическая логика?
Описание материала:
Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по метматической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики. Книга расчитана на инженеров и работников, занимающихся вопросами автоматики. Она также будет полезна всем, кто хочет ознакомиться с основами математической логики.
Полное название: Теория графов и ее применение. Берж К.
Описание материала:
Книга К.Бержа — первая по теории графов на русском языке. Между тем в последние годы интерес к теории резко усилился как со стороны математиков, так и представителей самых различных дисциплин. Это объясняется тем, что методы теории графов успешно решают многочисленные задачи теории электричесих цепей, теории транспортных цепей, теории информации, кибернетики и др. В книге Бержа теория графов излагается последовательно, начиная с самых основ. Предпологается, что читатель обладает весьма скромными математическими познаниями, хотя и имеет некоторую математическую культуру. В текст включены многочисленные, зачастную забавные, примеры. Книга может быть использоана для первоначального изучения теории графов. Математики-профессионалы также найдут в ней много интересного.
Полное название: Математическая логика лекции
Описание материала:
Краткие лекцие по математической логике. Содержат общую ознакомительную информацию.