Лекции по математической логике и теории алгоритмов
Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.
Подобные документы
Теорема Ферма: содержание, доказательство, геометрический смысл. Теорема Ролля: производная функции, отсутствие непрерывности Отсутствует и дифференцируемости. Доказательство теоремы Лагранжа, общий вид, геометрический смысл, содержание следствия.
презентация, добавлен 21.09.2013Системы линейных уравнений. Функции: понятия и определения. Комплексные числа, действия над ними. Числовые, функциональные, тригонометрические ряды. Дифференциальные уравнения. Множества, операции над ними. Теория вероятностей и математической статистики.
учебное пособие, добавлен 29.10.2013Начала математической теории. Арифметика узлов, их классификация. Свойства неальтернированных узлов; преобразование Рейдемейстера. Арифметические операции с математическими узлами. Разложение составного узла. Алгоритм полного перебора с заполнением.
презентация, добавлен 13.04.2016Теорема Ферма, ее формулировка и доказательство в случаях, если показатель степени n - нечетное число и если n - четное число. Теорема о единственности факторизации. Дополнительные обоснования теоремы. Состав наибольшего составного числового множителя.
статья, добавлен 28.05.2009Краткое математическое описание циклических кодов с точки зрения алгебры конечных полей, которого вполне достаточно для решения задачи нахождения порождающего полинома кода, используя корни. Полиномиальное представление двоичных чисел. Определение поля.
контрольная работа, добавлен 01.01.2011Сходимость последовательностей случайных величин. Центральная предельная теорема для независимых одинаково распределенных случайных величин. Основные задачи математической статистики, их характеристика. Проверка гипотез по критерию однородности Смирнова.
курсовая работа, добавлен 13.11.2012Вивчення теорем Чеви та Менелая на площині та в просторі, доведення нетривіальних наслідків цих теорем та розв’язання задач за їх допомогою. Застосування Теореми Менелая при доведенні теорем (наприклад, теорем Дезарга, Паппа, Паскаля, Гаусса та інших).
дипломная работа, добавлен 12.08.2010Свойства делимости целых чисел в алгебре. Особенности деления с остатком. Основные свойства простых и составных чисел. Признаки делимости на ряд чисел. Понятия и способы вычисления наибольшего общего делителя (НОД) и наименьшего общего кратного (НОК).
лекция, добавлен 07.05.2013Первое доказательство существования иррациональных чисел. Развитие теории пропорций Евдоксом Книдским. Теоремы, корень из 2 - иррациональное число. Трансцендентное число: сущность понятия, свойства, примеры, история. История уточнения числа пи.
контрольная работа, добавлен 27.11.2011Описание системы трехмерного визуализатора процесса дефрагментации с точки зрения системного анализа. Исследование преобразований состояний кубика Рубика с помощью математической теории групп. Анализ алгоритмов Тистлетуэйта и Коцембы решения головоломки.
курсовая работа, добавлен 26.11.2015Знакомство с Пьером де Ферма - французским математиком, одним из создателей аналитической геометрии, математического анализа, теории вероятностей и теории чисел. Разработка способов систематического нахождения всех делителей числа. Великая теорема Ферма.
презентация, добавлен 16.12.2011Определение типа кривой по виду уравнения, уравнение с угловым коэффициентом, в отрезках и общее уравнение. Определение медианы, уравнения средней линии в треугольнике. Вопросы по линейной алгебре. Решение системы уравнения при помощи обратной матрицы.
контрольная работа, добавлен 31.10.2010Задачи и методы линейной алгебры. Свойства определителей и порядок их вычисления. Нахождение обратной матрицы методом Гаусса. Разработка вычислительного алгоритма в программе Pascal ABC для вычисления определителей и нахождения обратной матрицы.
курсовая работа, добавлен 01.02.2013Задачи вычислительной линейной алгебры. Математическое моделирование разнообразных процессов. Решение систем линейных алгебраических уравнений большой размерности. Метод обратной матрицы и метод Гаусса. Критерии совместности и определенности системы.
курсовая работа, добавлен 21.10.2011Основные понятия теории марковских цепей, их использование в теории массового обслуживания для расчета распределения вероятностей числа занятых приборов в системе. Методика решения задачи о наилучшем выборе. Понятие возвратных и невозвратных состояний.
курсовая работа, добавлен 06.11.2011Основные понятия и результаты, связанные с теорией диофантовых уравнений, теорией эллиптических кривых и abc-гипотезой. Метод бесконечного спуска и доказательство теоремы Ферма для n=4. Анализ выводов К. Рибета Великой теоремы Ферма из гипотезы Таниямы.
дипломная работа, добавлен 26.05.2012Задачи, приводящие к дифференциальным уравнениям. Теорема существования, единственности решения задачи Коши. Общее решение дифференциального уравнения, изображаемое семейством интегральных кривых на плоскости. Способ нахождения огибающей семейства кривых.
реферат, добавлен 24.08.2015Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
контрольная работа, добавлен 12.08.2010Количественная оценка надежности. Возможности использования предельных теорем. Распространенные потоки случайных событий, их характеристики. Расчет надежности, основанный на составлении графа переходов изделия в разные состояния работоспособности.
курсовая работа, добавлен 12.06.2011Открытия О. Хайяма в области астрономии, математики и физики. Трактат о доказательствах задач алгебры и алмукабалы. Комментарии к трудностям во введениях Евклида. Закономерности поведения корней, приложимые к каждому конкретному уравнению (Э. Галуа).
реферат, добавлен 14.12.2009- 96. Линейная алгебра
Определение разности и произведения матриц. Решение системы линейных уравнений методом Крамера. Уравнение прямой проходящей через точки A (xa, ya) и C (xc, yc). Порядок определения типа кривой второго порядка и ее основных геометрических характеристик.
контрольная работа, добавлен 11.12.2012 Кватернион как один из самых интересных и приметных представителей гиперкомплексных чисел, его отражение в современных информационных компьютерных интерактивно-игровых технологиях. Алгебра кватернионов над полем R. Сущность и применение тождества Эйлера.
статья, добавлен 08.12.2009Описание случайных ошибок методами теории вероятностей. Непрерывные случайные величины. Числовые характеристики случайных величин. Нормальный закон распределения. Понятие функции случайной величины. Центральная предельная теорема. Закон больших чисел.
реферат, добавлен 19.08.2015Определение случайного процесса и его характеристики. Основные понятия теории массового обслуживания. Понятие марковского случайного процесса. Потоки событий. Уравнения Колмогорова. Предельные вероятности состояний. Процессы гибели и размножения.
реферат, добавлен 08.01.2013Доказательство теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений для четных и нечетных показателей степени. Теорема о разложении на простые множители целых составных чисел.
научная работа, добавлен 12.06.2009