Математическая логика
Математика
  • формат pdf
  • размер 683.29 КБ
  • добавлен 01 февраля 2012 г.
Голованов М.И. Нестандартные логики. Реляционная семантика
Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с.

Содержание:
Введение. Краткий экскурс в историю логических исследований.
Определение пропозициональной логики.
Позитивная логика.
Основные теоремы позитивной логики.
Немодальные расширения позитивной логики.
Расширение логики Lp с помощью константы ?
Расширение логики Lp с помощью связки :
Трансляции.
Свойства некоторых расширений логики Lp.
Модальные логики, нормальные модальные логики.
Наименьшая нормальная модальная логика.
Нормальные расширения логики K.
Основные классы пропозициональных логик.
Семантика Крипке для суперинтуиционистских логик.
Характеристические классы фреймов для модальных ло-гик K, T, S4, S5 и суперинтуиционистских логик H, KC, LC.
Метод фильтрации.
Характеристические классы фреймов для некоторых расширений модальных логик K,T,K4, S4.
Специальные модели Крипке для модальных логик.
Временные логики, семантика Крипке для временных логик.
Алгебра Линденбаума.
Допустимые правила вывода логики Гейтинга.
Трансляция суперинтуиционистских логик Допустимые правила вывода логики S4 и её расширений.
Читать онлайн
Похожие разделы
Смотрите также

Борщев В.Б., Partee B.H. Интеграция лексической и формальной семантики

  • формат pdf
  • размер 2.73 МБ
  • добавлен 21 сентября 2010 г.
Казань, 2003. 58 с. Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков. Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальн...

Бродский И.Н. Элементарное введение в символическую логику

  • формат tif
  • размер 150 МБ
  • добавлен 20 июня 2009 г.
Элементарные и сложные высказывания; Язык логики высказываний; Семантика логических союзов; Логические условия истинности формул логики высказываний; Равносильные формулы; Тождественно истинные и тождественно ложные формулы; Конъюнктивная нормальная форма; Совершенная конъюнктивная нормальная форма; Сокращенная конъюнктивная нормальная форма; Дизъюнктивная нормальная форма; Аксиоматическое представление логики высказываний; Натуральное исчисление...

Булос Дж., Джеффри Р. Вычислимость и логика

  • формат djvu
  • размер 9.81 МБ
  • добавлен 02 мая 2010 г.
Пер. с англ. - М., Мир, 1994 - 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знамен...

Доклад - Математическая логика

Реферат
  • формат doc
  • размер 309.5 КБ
  • добавлен 06 апреля 2009 г.
Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Катаев А.В., ВолгГТУ. Алгебра логики

Практикум
  • формат docx
  • размер 102.45 КБ
  • добавлен 23 января 2012 г.
Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логические следствия. Основные схемы доказательств.rn

Непейвода Н.Н. Прикладная логика

  • формат pdf
  • размер 2.31 МБ
  • добавлен 19 сентября 2010 г.
Учебное пособие. Ижевск, 2000. 529 с. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные формулы. Некоторые обозначения. Запись высказываний. Логические формулы. Связка ‘и’. Связка ‘или’. Связка ‘следует’....

Пономарев В.Ф. Математическая логика учебное пособие

  • формат doc
  • размер 345.62 КБ
  • добавлен 20 декабря 2008 г.
Калининградский государственный технический университет: Логика высказываний. Алгебра высказываний. Логические операции. Правила записи сложных формул. Законы алгебры логики. Эквивалентные преобразования формул. Нормальные формы формул. Алгоритм приведения к нормальной форме. Алгоритм преобразования ДНФ к виду СДНФ. Алгоритм преобразования КНФ к виду СКНФ. Исчисление высказываний. Интерпретация формул. Аксиомы исчисления высказываний. Правила в...

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая

  • формат doc
  • размер 155.12 КБ
  • добавлен 14 января 2010 г.
Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике. Содержание: Введение 3. Логика реляционная 3...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум
  • формат pdf
  • размер 3.58 МБ
  • добавлен 01 февраля 2012 г.
Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

  • формат djvu
  • размер 2.36 МБ
  • добавлен 11 марта 2010 г.
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающ...