Основы математической логики и теории алгоритмов

формат doc
размер 1.96 МБ
добавлен 22 октября 2009 г.

Автор неизвестен.
Конспект лекций по курсу "Матем. логика и теория алгоритмов". 2008 год. - 80 стр.
Исчисления высказываний.
Определение формального исчисления.
Исчисление высказываний генценовского типа.
Эквивалентность формул.
Нормальные формы.
Семантика исчисления секвенций.
Исчисление высказываний гильбертовского типа.
Алгоритмы проверки общезначимости и противоречивости в ИВ.
Логика и исчисления предикатов.
Алгебр. системы. Формулы сигнатуры. Истинность формулы на алгебр. системе.
Секвенциальное исчисление предикатов.
Эквивалентность формул в.
Нормальные формы.
Теорема о существовании модели.
Исчисление предикатов гильбертовского типа.
Скулемизация алгебраических систем.
Метод резолюций в исчислении предикатов.
Некоторые проблемы аксиоматического исчисления предикатов.
Элементы теории алгоритмов.
Машины Тьюринга.
Функции, вычислимые на машинах Тьюринга.
Рекурсивные функции и отношения.
Неразрешимость исчисления предикатов. Теорема Геделя о неполноте. Разрешимые и неразрешимые теории.

Похожие разделы

Смотрите также

Алферова З.В. Теория алгоритмов

формат djvu
размер 1.63 МБ
добавлен 02 сентября 2009 г.

В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов. Пособие предназначено для студентов вузов, специализирующихся по механизированной обработке экономической информации. Им могут пользова...

Головешкин В.А., Ульянов М.В. Теория рекурсии

формат djvu
размер 7.81 МБ
добавлен 07 июня 2010 г.

Головешкин В. А., Ульянов М. В., Теория рекурсии - ФИЗМАТЛИТ, 2006. - 296с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных на основе рекуррентных со...

Гук А.К. Математическая логика и теория алгоритмов

формат djvu
размер 556.29 КБ
добавлен 06 июля 2009 г.

Книга в формате djvu. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспек- конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов, обучающихся по специальности 075200 — «Ком- «Компьютерная безопасность» и по специальности 220100 — «Вычисли- «Вычислительные машины, комплексы, си...

Козмидиади В.А., Маслов А.Н., Петри Н.В. (ред.) Сложность вычислений и алгоритмов

формат djvu
размер 5.87 МБ
добавлен 23 сентября 2011 г.

Издательство Мир, 1974, -392 с. Библиотека «Кибернетического сборника» Затрагиваемые в сборнике проблемы математической логики тесно связаны с теорией вычислительных машин. В книге рассматриваются модели вычислительных устройств, их классификация, классификация языков, оценки сложности вычислений и оценки сложности программ. Развивается связанный со сложностью программ подход А. Н. Колмогорова к обоснованию теории вероятностей и теории информаци...

Мальцев А.И. Алгоритмы и рекурсивные функции

формат djvu
размер 3.46 МБ
добавлен 23 января 2009 г.

2-е изд. М.: Наука, 1986. -368с. Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики.

Носов В.А. Основы теории алгоритмов и анализа их сложности

формат pdf
размер 3.54 МБ
добавлен 21 мая 2009 г.

Возможности вычислительных машин, сложность вычислений, нижние оценки сложности, оптимизация алгоритмов

Презентация - Элементы теории алгоритмов

Презентация

формат ppt
размер 1.86 МБ
добавлен 05 июня 2011 г.

Понятие алгоритма. Свойства алгоритмов. Дискретность. Детерминированность. Конечность. Массовость. Результативность. Виды алгоритмов. Линейный алгоритм. Циклический алгоритм. Разветвляющийся алгоритм. Вспомогательный алгоритм. Способы описания алгоритмов. Словесный способ. Блок-схемы. Литература. Презентация была использована для защиты реферата Элементы теории алгоритмов. .

Реферат - Принципы развития теории алгоритмов

Реферат

формат doc
размер 137 КБ
добавлен 04 января 2012 г.

Автор Лифшиц Ю.М. РАН СПб. Отделение Математического Института им. В.А. Стеклова, Лаборатория математической логики Содержание Введение Хронология теории алгоритмов Современное состояние теории алгоритмов Использование других наук в алгоритмах Наиболее значимые применения алгоритмов Идеи и техники в теории алгоритмов Формирование популярных направлений исследований Стили проведения научных исследований Заключение и выводы Список источников В эт...

Роджерс Х. Теория рекурсивных функций и эффективная вычислимость

формат djvu
размер 4.91 МБ
добавлен 22 октября 2011 г.

М.: Мир, 1972. - 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хор...

Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения

формат djvu
размер 3.55 МБ
добавлен 01 ноября 2009 г.

М., Наука, 1987г. -288 с. Важнейшие достижения теории алгоритмов. Приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др. Влияние теории алгоритмов на алгоритмическую практику. Содержание: Основные математические приложения теории алгоритмов: 1. Исследование массовых проблем. 2. Приложения к основаниям математики. 3. Приложения к математической логике. 4. Вычислимый анализ. Нумерованные структуры. 5....