Математическая логика и теория алгоритмов. Введение. (Глава 1)

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Математическая логика и теория алгоритмов. Введение. (Глава 1). Доклад-сообщение содержит 28 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

МАТЕМАТИЧЕСКАЯ ЛОГИКА МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Кафедра Прикладной математики и Информатики Тесты: по 1-2 гл. + к.р. + Итог.Тест Баллы: 30 + 30 + 40 = 100.

Слайд 2

Описание слайда:

Слайд 3

Описание слайда:

Слайд 4

Описание слайда:

Слайд 5

Описание слайда:

Слайд 6

Описание слайда:

Слайд 7

Описание слайда:

Слайд 8

Описание слайда:

Слайд 9

Описание слайда:

Глава 1 Глава 1 ЛОГИКА ВЫСКАЗЫВАНИЙ § 1. Высказывания, логические операции Высказывание – повествовательное предложение, которое истинно либо ложно.

Слайд 10

Описание слайда:

Слайд 11

Описание слайда:

Слайд 12

Описание слайда:

Слайд 13

Описание слайда:

Слайд 14

Описание слайда:

Слайд 15

Описание слайда:

Слайд 16

Описание слайда:

Пропозициональные формы – формулы логики высказываний Пропозициональные формы – формулы логики высказываний Определение формул с помощью нормальных форм Бэкуса. Пусть Р множество пропозициональных букв (атомов). формула : = A для любого A из Р формула : = (формула) ( формула & формула)  ( формула  формула) ( формула  формула)  ( формула  формула) Пр. : A, В, ( В), (A &( B)), ((A&B) С), (A  (B  C)) A, В,  В, A &  B, A&B С, A  (B  C) Атом или атомарная формула : = пропозициональная буква Пр.: А, В, С, … .