Математическая логика и теория алгоритмов
Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
Подобные документы
- 101. Рекурсивные функции
Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
курсовая работа, добавлен 12.07.2015 Передаточные функции - центральное понятие классической теории автоматического управления. Они основаны на использовании преобразования Лапласа всех процессов как функций времени. Определение передаточной функции. Статические и астатические системы.
реферат, добавлен 30.11.2008Исследования Дж. Кардано и Н. Тарталья в области решения первичных задач теории вероятностей. Вклад Паскаля и Ферма в развитие теории вероятностей. Работа Х. Гюйгенса. Первые исследования по демографии. Формирование понятия геометрической вероятности.
курсовая работа, добавлен 24.11.2010Определение вероятности определенного события. Вычисление математического ожидания, дисперсии, среднеквадратического отклонения дискретной случайной величины Х по известному закону ее распределения, заданному таблично. Расчет корреляционных признаков.
контрольная работа, добавлен 12.02.2010Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.
курсовая работа, добавлен 27.04.2011Основные понятия теории графов. Степень вершины. Маршруты, цепи, циклы. Связность и свойства ориентированных и плоских графов, алгоритм их распознавания, изоморфизм. Операции над ними. Обзор способов задания графов. Эйлеровый и гамильтоновый циклы.
презентация, добавлен 19.11.2013- 107. Экстремумы функции
Построение графика непрерывной функции. Определение множителя Лагранжа. Критические точки - значения аргумента из области определения функции, при которых производная функции обращается в нуль. Наибольшее и наименьшее значения функции на отрезке.
контрольная работа, добавлен 24.03.2009 Случайный процесс в теории вероятностей. Математическое ожидание и дисперсия. Многомерные законы распределения. Вероятностные характеристики "входной" и "выходной" функций. Сечение случайной функции. Совокупность случайных величин, зависящих от параметра.
курсовая работа, добавлен 23.12.2012Упорядоченные множества. Решётки. Дистрибутивные решётки. Обобщённые булевы решётки, булевы решётки. Идеалы. Конгруэнции. Основная теорема. Установление взаимно однозначного соответствия между конгруэнциями и идеалами.
дипломная работа, добавлен 08.08.2007Ознакомление с теоремами теории аналитических функций. Определение и основные свойства индекса функции. Постановка и методы решения однородной и неоднородной задач Римана для односвязной и многосвязной областей. Принципы нахождения функции сдвига.
курсовая работа, добавлен 20.12.2011Развитие математической культуры арабской цивилизации: от религиозного фанатизма до адекватной оценки культуры завоеванных народов. Научные трактаты Багдадской математической школы. Развитие арабской алгебры в X-XII вв. и достижения в геометрии.
презентация, добавлен 20.09.2015Основные понятия теории марковских цепей, их использование в теории массового обслуживания для расчета распределения вероятностей числа занятых приборов в системе. Методика решения задачи о наилучшем выборе. Понятие возвратных и невозвратных состояний.
курсовая работа, добавлен 06.11.2011Понятия локальных экранов и формаций, основанных на определении центральных рядов, их роль в теории формаций конечных групп, мультиколец и других алгебраических систем. Определение мультикольца, его идеала, централизатора, теоремы и их доказательства.
дипломная работа, добавлен 18.09.2009Понятие математической статистики как науки о математических методах систематизации и использования статистических данных для научных и практических выводов. Точечные оценки параметров статистических распределений. Анализ вычисления средних величин.
курсовая работа, добавлен 13.12.2014Сущность предела функции, ее производной и дифференциала. Основные теоремы о пределах и методы их математического вычисления. Производная, ее физический и геометрический смысл. Связь непрерывности и дифференцируемости, основные правила дифференцирования.
презентация, добавлен 24.06.2012Сущность теории множеств и особенности ее практического применения. Операции над множествами и их главные закономерности. Порядок нахождения области определения функции, участков ее возрастания и убывания. Определение вероятности исследуемого действия.
контрольная работа, добавлен 02.12.2011Особенности использования теории вероятностей в сфере транспорта. Сравнительный анализ вероятностей катастрофы летательного аппарата: постановка задачи и ее математическая интерпретация. Определение надежности элементов системы энергоснабжения самолета.
контрольная работа, добавлен 11.09.2014Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат, добавлен 24.07.2014Элементы алгебры и введение в математический анализ. Дифференциальное исчисление функций одной или нескольких переменных и элементы дифференциальной геометрии. Интегральное исчисление. Числовые и функциональные ряды. Кратные и криволинейные интегралы.
дипломная работа, добавлен 09.03.2009История возникновения, основные понятия графа и их пояснение на примере. Графический или геометрический способ задания графов, понятие смежности и инцидентности. Элементы графа: висячая и изолированная вершины. Применение графов в повседневной жизни.
курсовая работа, добавлен 20.12.2015Вероятностная модель и аксиоматика А.Н. Колмогорова. Случайные величины и векторы, классическая предельная проблема теории вероятностей. Первичная обработка статистических данных. Точечные оценки числовых характеристик. Статистическая проверка гипотез.
методичка, добавлен 02.03.2010Теория игр - математическая теория конфликтных ситуаций. Разработка математической модели игры двух лиц с нулевой суммой, ее реализация в виде программных кодов. Метод решения задачи. Входные и выходные данные. Программа, руководство пользователя.
курсовая работа, добавлен 17.08.2013Возникновение теории вероятностей как науки, вклад зарубежных ученых и Петербургской математической школы в ее развитие. Понятие статистической вероятности события, вычисление наивероятнейшего числа появлений события. Сущность локальной теоремы Лапласа.
презентация, добавлен 19.07.2015- 124. Графы
Понятия и определения орграфа и неориентированного графа, методы решения. Неориентированные и ориентированные деревья. Подробное описание алгоритмов нахождения кратчайших путей в графе: мультиграф, псевдограф. Матрица достижимостей и контрдостижимостей.
курсовая работа, добавлен 16.01.2012 История открытия логарифмов. Определение логарифма. Натуральные, десятичные, двоичные логарифмы и их применение в теории информации и информатике. Логарифмические функции и их графики. Логарифмическая спираль. Риманова поверхность. Свойства функции.
презентация, добавлен 20.02.2011