Математическая логика
Математика
  • формат pdf
  • размер 764.75 КБ
  • добавлен 21 декабря 2011 г.
Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії
Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152.
Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі.
Зміст:
Розділ I. Семіотика, логічні мови і алгебра висловлень.
Семіотика і загальна фнформація про мови першого порядку.
Висловлення та дії над ними.
Бульові алгебри.
Розділ II. Числення висловлень.
Мова числення висловлень.
Формальні доведення в численні висловлень.
Нормальні форми формул ЧВ.
Семантика числення висловлень.
Розділ III. Числення предикатів.
Математичні структури (алгебраїчні системи).
Алгебраїчні струтури.
Мова числення предикатів.
аксіоми і правила виведення числення предикатів.
Еквівалентність формул числення предикатів.
Інтерпретація числення предикатів.
Теорема Геделя про повноту.
Варіанти числення предикатів першого порядку.
Розділ IV. Теорія моделей.
Основні поняття теорії моделей.
Елементарні підструктури.
Критерій елементарної підструктури.
Ультрафільтри.
регулярні ультрафільтри.
Ультрадобутки.
Регулярні ультрадобутки.
Аксіоматизовані класи структур.
Розділ V. Теорія рекурсії.
Машини Тюрінга.
Рекурсивні функції.
Обчислені за Тюрінгом функції та рукурсивні функції.
Розділ VI. Додатки.
Додаток 1 Мова Шмульяна для самоописання.
Додаток 2 10 проблема Гільберта.
Похожие разделы
Смотрите также

Дрозд Ю. Основи математичної логіки (на укр. языке)

  • формат pdf
  • размер 664.47 КБ
  • добавлен 01 ноября 2010 г.
К.: Київський університет імені Т. Шевченка, 2003. - 96 с. Учебник создан за материалами курса математической логики, который преподается в Киевском университете имени Тараса Шевченка. Этот курс играет огромную роль в формировании математического мышления и понимания построения математики как науки. Разделы учебника: Логика высказываний, Логика отношений, Формальная математика.

Трохименко В.С. Конспект лекцій з математичної логіки та теорії алгоритмів

  • формат pdf
  • размер 748.08 КБ
  • добавлен 13 сентября 2010 г.
Вінниця, 2007. Конспект лекцій відповідає діючій програмі з математичної логіки і теорії алгоритмів для математичних спеціальностей педагогічних університетів. Зміст: Вступ. 1. Логіка висловлень. Логічні операції над висловленнями. Логічне слідування в логіці висловлень. Рівносильність формул логіки висловлень. Нормальні форми. Повні системи булевих функцій. Алгебра Жегалкіна. Замкнені класи булевих функцій. Теорема про функціональну повноту. 2....