Информатики
Тесты: по 1-2 гл. + к.р. + Итог.Тест
Баллы: 30 + 30 + 40 = 100.
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
МЛ-Презент-1-Введение-28 презентация
Содержание
СТАНОВЛЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Слайд 1МАТЕМАТИЧЕСКАЯ ЛОГИКА
И ТЕОРИЯ АЛГОРИТМОВ
Кафедра
Прикладной математики и
Информатики
Тесты: по 1-2 гл. + к.р. + Итог.Тест
Баллы: 30 + 30 + 40 = 100.
Информатики
Тесты: по 1-2 гл. + к.р. + Итог.Тест
Баллы: 30 + 30 + 40 = 100.
Слайд 9
Глава 1
ЛОГИКА ВЫСКАЗЫВАНИЙ
§ 1. Высказывания, логические операции
Высказывание – повествовательное
предложение, которое истинно либо ложно.
Слайд 16Пропозициональные формы – формулы логики высказываний
Определение формул с помощью нормальных форм
Бэкуса. Пусть Р множество пропозициональных букв (атомов).
формула : = A для любого A из Р
формула : = (¬формула) ⎢( формула & формула) ⎢
( формула ∨ формула) ⎢( формула ⇒ формула) ⎢
( формула ≡ формула)
Пр. : A, В, (¬ В), (A &(¬ B)), ((A&B) ⇒С), (A ∨ (B ≡ C))
A, В, ¬ В, A & ¬ B, A&B ⇒С, A ∨ (B ≡ C)
Атом или атомарная формула : = пропозициональная буква
Пр.: А, В, С, … .
формула : = A для любого A из Р
формула : = (¬формула) ⎢( формула & формула) ⎢
( формула ∨ формула) ⎢( формула ⇒ формула) ⎢
( формула ≡ формула)
Пр. : A, В, (¬ В), (A &(¬ B)), ((A&B) ⇒С), (A ∨ (B ≡ C))
A, В, ¬ В, A & ¬ B, A&B ⇒С, A ∨ (B ≡ C)
Атом или атомарная формула : = пропозициональная буква
Пр.: А, В, С, … .
