Математическая логика
Математика
  • формат pdf
  • размер 748.08 КБ
  • добавлен 13 сентября 2010 г.
Трохименко В.С. Конспект лекцій з математичної логіки та теорії алгоритмів
Вінниця, 2007.
Конспект лекцій відповідає діючій програмі з математичної логіки і теорії алгоритмів для математичних спеціальностей педагогічних університетів.
Зміст: Вступ.
1. Логіка висловлень.
Логічні операції над висловленнями.
Логічне слідування в логіці висловлень.
Рівносильність формул логіки висловлень. Нормальні форми.
Повні системи булевих функцій. Алгебра Жегалкіна.
Замкнені класи булевих функцій. Теорема про функціональну повноту.
2. Числення висловлень.
Числення висловлень. Теорема дедукції.
Повнота, несуперечність і незалежність аксіом числення висловлень.
3. Логіка предикатів.
Предикати і квантори.
Загальнозначущість і виконуваність формул в логіці предикатів.
4. Математичні теорії першого порядку.
Означення теорії першого порядку. Числення предикатів.
Несуперечність і повнота числення предикатів.
Формальна арифметика.
5. Елементи теорії алгоритмів.
Поняття алгоритму та його характерні риси.
Нормальні алгоритми.
Про алгоритмічно нерозв'язні проблеми.
Обчислювальні функції.
Машина Тьюрінга.
Література.
Похожие разделы
Смотрите также

Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії

  • формат pdf
  • размер 764.75 КБ
  • добавлен 21 декабря 2011 г.
Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152. Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі. Зміст: Розділ I. Семіотика, логічні мови і алгебра висловлень. Семіотика і загальна фнформація про мови першого порядку. Висловлення та дії над ними. Бульові алге...

Валицкас А.И. Конспект лекций по математической логике

  • формат pdf
  • размер 1.69 МБ
  • добавлен 15 января 2011 г.
Учебно-методическое пособие для студентов физико-математических факультетов педвузов. Тобольск, 2010. – 186 c. Рекомендовано УМО по математике педвузов Волго-Вятского региона в качестве учебного пособия для студентов физико-математических специальностей высших учебных заведений. Учебно-методическое пособие представляет конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской...

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

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

Конспект лекций для экзамена по курсу Математическая логика

Статья
  • формат doc
  • размер 979 КБ
  • добавлен 17 мая 2010 г.
Конспект лекций - Метематическая логика Теория алгоритмов Различные подходы к определению алгоритма: Машина с неограниченными регистрами (МНР). Машина Тьюринга - Поста. Нормальные алгоритмы Маркова. Реализация функции натурального переменного. Эквивалентность трех подходов к понятию алгоритм. Булевы функции. Основные определения Дизъюнктивные нормальные формы. Логические Исчисления. Исчисления высказывания (ИВ). Правило одновременной подстановки...

Реферат - Формальні моделі алгоритмів та алгоритмічно обчислюваних функцій

Реферат
  • формат doc
  • размер 703.5 КБ
  • добавлен 23 апреля 2010 г.
Зміст: 1. машини із натуральнозначними регістрами(МНР). 2. машини Тьюрінга. 3. нормальні алгоритми Маркова. 4. системи Поста. 5. обчислювальність квазиарних функцій на множині натуральних чисел. 6. очислюваність п-арних функцій на множині натуральних чисел. 7. програмовані функцій на множині натуральних чисел. 8. теза Чорча

Эвнин А.Ю. Математическая логика. Конспект лекций и задачи

  • формат pdf
  • размер 555.08 КБ
  • добавлен 06 января 2011 г.
Учебное пособие составлено в соответствии с программой курса мат. логики для специальности "прикладная математика", содержит теоретический материал и задачи по темам алгебра высказываний, логический исчисления. все изложено доступным языком, снабжено примерами.

Яковлев А.В. Лекции по математической логике

  • формат pdf
  • размер 443.21 КБ
  • добавлен 08 января 2011 г.
Конспект лекций. Авторское электронное издание(изначально компьютерное). Количество страниц: 52. Место и год издания не установлены.