Дискретная математика для программистов
Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
Подобные документы
Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Характеристическая функция суммы независимых случайных величин. Центральная предельная теорема. Закон больших чисел в форме Бернулли. Основные задачи математической статистики. Группировка данных по интервалам, определение частот элементов выборки.
лекция, добавлен 28.09.2017Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Порядковая логика – математический аппарат, широко применяемый при решении многих задач обработки, преобразования непрерывной информации. Рекуррентные соотношения для математической модели систолического алгоритма реализации функций порядковой логики.
статья, добавлен 22.08.2020Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013- 32. Алгебра множеств
Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
курс лекций, добавлен 18.03.2010 Доказывание тождеств в теории множеств. Рассмотрение основных положений комбинаторики. Определение Эйлеровой цепи в неориентированном графе. Решение задач по алгебре логики. Изучение возможностей решения системы уравнений с использованием метода Гаусса.
контрольная работа, добавлен 20.01.2022История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Смысл введения интегральных преобразований. Свойства линейности изображения. Теорема о интегрировании оригинала и изображений. Операционное исчисление и некоторые его приложения. Понятие о свертке функций. Теорема о умножении изображений. Теорема Эфроса.
реферат, добавлен 18.05.2010Изолированные особые точки аналитической функции. Определение вычетов. Нули аналитической функции. Понятие изолированных особых точек, их определение. Теорема о связи нулей и полюсов. Вычет аналитической функции в особой точке. Основная теорема о вычетах.
контрольная работа, добавлен 30.07.2017Перекрестный и сравнительный анализ влияния математической логики в информатике. Роль предикатной логики в формулировке и проверке условий, в программировании и в решении различных задач в информатике. Связь математической логики с теорией вычислений.
статья, добавлен 20.12.2024Дискретная (или прерывная) математика как наука. Анализ сущности и особенностей понятий функция, функционал и оператор, применяемых в дискретной математике. Примеры инъекции и композиции функций. Формы задания функций (для унарных и бинарных функций).
реферат, добавлен 23.01.2018- 39. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015Нахождение пути минимального веса между вершинами в нагруженном графе с помощью алгоритма Дейкстры. Максимальный поток в транспортной сети с использованием алгоритма Форда-Фалкерсона. Проверка по теореме Форда-Фалкерсона. Пропускные способности дуг.
курсовая работа, добавлен 03.10.2017Задача на нахождение кратчайшего пути. Определение нижней границы гамильтоновых циклов множества с помощью операции редукции. Изучение процесса разложения матрицы по маршрутным строкам. Определение, изображение оптимальной длины маршрута коммивояжёра.
контрольная работа, добавлен 16.01.2016Рассмотрение элементов теории графов. Характеристика множеств и операций над ними. Основные законы комбинаторики. Основы построения матрицы смежности. Геометрическая реализация графов. Исследование ключевых особенностей логики высказываний и операций.
курс лекций, добавлен 01.04.2016Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.
реферат, добавлен 30.11.2014Введение в теорию множеств. Задачи, связанные с операциями над конечными множествами. Декартово произведение множеств. Основные элементарные функции. Понятия и величины дискретной математики. Элементы теории вероятностей и математической статистики.
лекция, добавлен 07.05.2014Теории мультипликативных функций, определения и свойства данных функций, методы их суммирования. Рассмотрение результатов суммирования известной функции Эйлера j(n) и Мебиуса. Теорема Мертенса. Определение средних значений функций натурального аргумента.
дипломная работа, добавлен 29.10.2010В статье рассматриваются существующие способы математического описания и представления в ЭВМ алгоритмов операций преобразования данных. Проводится краткий анализ известных форм представления систем булевых функций с учётом используемых средств реализации.
статья, добавлен 07.03.2019Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Элементы дискретной математики. Сущность математической логики. Операции над множествами. Правила, формулы дифференцирования. Неопределенный интеграл, методы интегрирования. Основы теории вероятностей и математической статистики. Понятие и предел функции.
учебное пособие, добавлен 03.07.2013