Алгебра высказываний и основы математической логики в дискретной математике
О чём эта презентация
4 1 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ 1.1 Высказывания. Логические связки Утверждение, о котором можно сказать, истинно оно или ложно, называется (простым) высказыванием. Например, высказывание «3 > 2» истинно, а высказывание «9 – простое число» ложно. Будем обозначать высказывания прописными буквами латинского алфавита X, Y, Z, …, истинное высказывание цифрой 1, ложное – цифрой 0. Из…
Оглавление 📑 30 слайдов
- 1Алгебра высказываний: основы математической логики
- 2Введение в математическую логику и алгебру высказываний
- 3Определение простого высказывания и логических связок
- 4Основные логические связки: отрицание, конъюнкция, дизъюнкция
- 5Таблицы истинности для отрицания, конъюнкции и дизъюнкции
- 6Импликация и эквиваленция: определения и таблицы истинности
- 7Сравнение таблиц истинности основных логических связок
- 8Дополнительные связки: штрих Шеффера, стрелка Пирса, сумма по модулю два
- 9Таблицы истинности для штриха Шеффера, стрелки Пирса и суммы по модулю два
- 10Понятие логической эквивалентности и основные законы логики
- 11Таблица основных логических эквивалентностей и законов
- 12Любое высказывание можно выразить через отрицание и конъюнкцию или дизъюнкцию
- 13Определение булевых функций и их свойства
- 14Число булевых функций от n переменных и примеры функций одной и двух переменных
- 15Наименования и свойства элементарных булевых функций одной и двух переменных
- 16Суперпозиция булевых функций и равносильность формул
- 17Основные равносильности булевых формул и их проверка таблицами истинности
- 18Введение в нормальные формы булевых функций: ДНФ и КНФ
- 19Примеры элементарных конъюнкций и дизъюнкций для нормальных форм
- 20Любая булева функция имеет представление в виде ДНФ и КНФ
- 21Совершенные дизъюнктивная и конъюнктивная нормальные формы (СДНФ и СКНФ)
- 22Теорема о единственности СДНФ и СКНФ и пример построения
- 23Построение СДНФ и СКНФ на примере функции f(x,y,z)
- 24Таблица истинности для функции и соответствующие элементарные конъюнкции и дизъюнкции
- 25Задачи на определение высказываний и построение таблиц истинности
- 26Доказательство тождественной истинности и эквивалентности высказываний
- 27Основные логические законы и их применение в доказательствах
- 28Значение логических эквивалентностей в построении булевых функций
- 29Преобразования формул и исключение импликаций и эквиваленций
- 30Итоги изучения алгебры высказываний: значение нормальных форм и логических законов
Нужна своя презентация на эту тему?
КонспектGPT сделает уникальную презентацию за 5–10 минут по вашей теме: 10–30 слайдов, оформление в едином стиле, готовый экспорт в PowerPoint и Google Slides. Никаких шаблонов — все слайды пишутся нейросетью с нуля.
Создать такую же презентациюЧастые вопросы
Сколько это стоит?
Создать презентацию и посмотреть предпросмотр первых слайдов можно бесплатно: по кнопке выше вы получите свою презентацию на эту тему с той же структурой, но с уникальным содержанием — и сразу сможете править оглавление. Тариф «Пробный» за 99 ₽ на 3 дня открывает всё остальное: все 30 слайдов, скачивание в PPTX и PDF, генерацию ИИ-картинок, онлайн-редактор с правками через ИИ и готовый текст для выступления. За пробный период можно сгенерировать до 5 презентаций, дальше — автопродление за 389 ₽/мес, отключается в один клик в личном кабинете.
Могу ли я изменить слайды?
Да, причём дважды. Сначала на странице структуры: до генерации можно переименовать любой слайд, поменять их порядок, добавить свои и удалить ненужные. Потом в редакторе с ИИ-помощником: менять текст готовых слайдов, регенерировать их через нейросеть, менять тему оформления и генерировать картинки.
Можно ли сделать презентацию по своим материалам?
Да. В форме генерации выберите режим «По тексту» — можно вставить готовый текст или загрузить файл. Поддерживается 13 форматов: DOCX, DOC, PDF, PPTX, PPT, TXT, RTF, ODT, DJVU, EPUB, FB2, Markdown и HTML, документ до 50 страниц. PDF со сканами читается через OCR. Нейросеть извлечёт из вашего материала ключевые тезисы, распределит их по слайдам и добавит подходящие графики и таблицы. Удобно, если уже есть курсовая, конспект лекции, статья или старая презентация, которую нужно переоформить.
Сколько времени занимает генерация новой презентации?
Обычно 5–10 минут: 1–2 минуты на составление оглавления, ещё 3–7 минут — на генерацию содержимого всех слайдов параллельно. Итого — сравнимо со временем, за которое вы бы искали готовую презентацию по ключевым словам.
Можно ли использовать презентацию в школе / университете?
Да. Формат PPTX стандартен для образовательных презентаций — работает в PowerPoint, Google Slides, Keynote, LibreOffice. Рекомендуем перед сдачей внести правки под свой доклад и проверить фактические данные.
Есть ли другие темы для презентаций?
Да, у нас в базе более 50 000 готовых презентаций по разным дисциплинам. Смотрите каталог на странице /gotovye-prezentacii/. А если нужной темы нет — сгенерируйте свою за 5–10 минут.