Логика на словах
Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
Подобные документы
Вклад А. Колмогорова в теорию вероятностей: публикации по проблемам дескриптивной и метрической теории функций; его глубокий интерес к философии математики. Разработка метода моментов Чебышевым. Исправление учеником Чебышева Марковым его теоремы.
презентация, добавлен 28.04.2013Вычисление градиента, дивергенции и ротора однократным дифференцированием функций. Дифференциальные операций и операторы второго порядка. Выполнение условий дифференцируемости и непрерывности. Оператор Лапласа, градиент дивергенции, формулы Грина.
реферат, добавлен 21.03.2014Линейные операторы, собственные значения. Общее понятие о квадратичных формах. Упрощение уравнений второго порядка на плоскости. Упрощение уравнений фигур в пространстве. Ортогональное преобразование, приводящее квадратичную форму к каноническому виду.
курсовая работа, добавлен 13.11.2012Общее уравнение кривой второго порядка. Составление уравнений эллипса, окружности, гиперболы и параболы. Эксцентриситет гиперболы. Фокус и директриса параболы. Преобразование общего уравнения к каноническому виду. Зависимость вида кривой от инвариантов.
презентация, добавлен 10.11.2014Уравнение для описания поверхности второго порядка в аффинной системе координат. Виды квадрики в прямоугольной системе координат: мнимый эллипсоид, гиперболоид, конус, параболоид, цилиндр, плоскости. Способы приведения квадрики к каноническому виду.
курсовая работа, добавлен 19.09.2012Нахождение координат треугольника по заданным вершинам. Условия перпендикулярности, параллельности и совпадения прямых. Уравнение плоскости, проходящей через точку. Составление канонических уравнений прямой, кривой второго порядка и поверхности.
контрольная работа, добавлен 28.03.2014Классификация различных точек поверхности. Омбилические точки поверхности. Строение поверхности вблизи эллиптической, параболической и гиперболической точек. Линии кривизны поверхности и омбилические точки. Поверхность, состоящая из омбилических точек.
дипломная работа, добавлен 24.06.2015Арифметическая теория квадратичных форм, их практическое применение в приведении уравнения кривой и поверхности второго порядка к каноническому виду. Самосопряженный оператор, его характеристика, использование и функции. Собственные числа и вектора.
курсовая работа, добавлен 28.11.2012Виды дифференциальных уравнений: обыкновенные, с частными производными, стохастические. Классификация линейных уравнений второго порядка. Нахождение функции Грина, ее применение для решения неоднородных дифференциальных уравнений с граничными условиями.
курсовая работа, добавлен 29.04.2013Множество неотрицательных действительных чисел как интерпретируемое подмножество R. Делимость в мультипликативных полугруппах. Строение числовых НОД и НОК полугрупп. Изучение мультипликативных полугрупп неотрицательных действительных чисел с 0 и 1.
дипломная работа, добавлен 27.05.2008- 61. Линейная алгебра
Определение разности и произведения матриц. Решение системы линейных уравнений методом Крамера. Уравнение прямой проходящей через точки A (xa, ya) и C (xc, yc). Порядок определения типа кривой второго порядка и ее основных геометрических характеристик.
контрольная работа, добавлен 11.12.2012 Нахождение производных функций. Определение наибольшего и наименьшего значения функции. Область определения функции. Определение интервалов возрастания, убывания и экстремума. Интервалы выпуклости, вогнутости и точки перегиба. Производные второго порядка.
контрольная работа, добавлен 07.02.2015Уравнения линии на плоскости, их формы. Угол между прямыми, условия их параллельности и перпендикулярности. Расстояние от точки до прямой. Кривые второго порядка: окружность, эллипс, гипербола, парабола, их уравнения и главные геометрические свойства.
лекция, добавлен 17.12.2010Сведения о плоских кривых. Замечательные кривые третьего порядка. Классификация Ньютона кривых третьего порядка. Циссоида и ее свойства. Преобразования плоскости, переводящие кривые второго порядка в кривые третьего порядка. Преобразования Маклорена.
дипломная работа, добавлен 22.04.2011Окружность множество точек плоскости, равноудаленных от данной точки. Эллипс, множество точек плоскости, для каждой из которых сумма расстояний до двух точек плоскости. Парабола, множество точек плоскости, равноудаленных от данной точки плоскости.
реферат, добавлен 03.08.2010Элементы геометрии треугольника: изогональное и изотомическое сопряжение, замечательные точки и линии. Коники, связанные с треугольником: свойства конических сечений; коники, описанные около треугольника и вписанные в него; применение к решению задач.
курсовая работа, добавлен 17.06.2012Правила вычисления коэффициентов n-образов. Рассмотрение алгоритмов решения линейных ОДУ с переменными коэффициентами второго и произвольного порядков. Общепринятые способы определения частного решения неоднородного дифференциального уравнения.
книга, добавлен 03.10.2011Неполные дифференциальные уравнения и их приложения, необходимость их применения в различных областях науки. Понятия и определения, типы и методы решения. Переходная кривая железнодорожного пути. Движение пули внутри вещества. Погружение тел в воду.
курсовая работа, добавлен 29.10.2011- 69. Евклид и Архимед
Краткие биографические сведения из жизни и научных изысканиях ученых Евклида и Архимеда. Разработка Евклидом основ стереометрии, планометрии, алгебры, теории чисел, отражение их в труде "Начала". Вклад Архимеда в развитие арифметики, геометрии, механики.
реферат, добавлен 13.06.2009 Возникновение теории вероятностей как науки, вклад зарубежных ученых и Петербургской математической школы в ее развитие. Понятие статистической вероятности события, вычисление наивероятнейшего числа появлений события. Сущность локальной теоремы Лапласа.
презентация, добавлен 19.07.2015Приведение к системе уравнений первого порядка. Разностное представление систем дифференциальных уравнений. Сеточные методы для нестационарных задач. Особенность краевых задач второго порядка. Разностные схемы для уравнений в частных производных.
реферат, добавлен 13.08.2009- 72. Линейная алгебра
Понятие и сущность определителей второго порядка. Рассмотрение основ системы из двух линейных уравнений с двумя неизвестными. Изучение определителей n–ого порядка и методы их вычисления. Особенности системы из n линейных уравнений с n неизвестными.
презентация, добавлен 14.11.2014 Возникновение и развитие теории групп. Проблема интегрирования дифференциальных уравнений. Алгебраические конструкции в теории автоматов. Появление понятия перестановок. Группы и классификация голограмм. Применение теории групп в квантовой механике.
реферат, добавлен 08.02.2013История и основные этапы становления и развития основ теории вероятности, ее яркие представители и их вклад в развитие данного научного направления. Классификация случайных событий, их разновидности и отличия. Формулы умножения и сложения вероятностей.
контрольная работа, добавлен 20.12.2009Общее решение дифференциального уравнения первого порядка. Уравнение с разделенными переменными. Выбор частного интеграла. Частное решение дифференциального уравнения второго порядка. Вероятность проявления события, интегральная формула Муавра-Лапласа.
контрольная работа, добавлен 19.08.2009