Логика на словах
Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
Подобные документы
Приведение уравнения к каноническому виду при помощи преобразований параллельного переноса и поворота координатных осей. Нахождение фокусов, директрис, эксцентриситета и асимптот кривой. Построение графика кривой в канонической и общей системах координат.
контрольная работа, добавлен 12.01.2011Пример вычисления определителя второго порядка в общем виде. Свойства векторного произведения и их доказательства. Пример применения правила Крамера для решения систем из n уравнений с n неизвестными. Векторное произведение векторов заданных проекциями.
контрольная работа, добавлен 14.03.2009Область, ограниченная ветвью гиперболы, расположенной в первой четверти и прямой. Сведение двойных интегралом к повторному. Неоднородное дифференциальное уравнение. Сумма решений соответствующего однородного и любого частного решения уравнения.
контрольная работа, добавлен 05.12.2010Аналитическая геометрия. Декартова система координат, линии на плоскости и кривые второго порядка. Поверхности в трехмерном пространстве. Система n линейных уравнений с n неизвестными. Элементы математического анализа. Основные правила комбинаторики.
отчет по практике, добавлен 15.11.2014Теоретические основы аналитической геометрии, линейной алгебры и задач оптимизации. Общая характеристика плоскости и основных поверхностей второго порядка. Особенности решения систем линейных уравнений с использованием меню "Мастер функций" MS Excel.
методичка, добавлен 05.07.2010Система линейных уравнений. Общее и частные решения системы линейных уравнений. Нахождение векторного произведения. Приведение уравнения кривой второго порядка к каноническому виду. Исследование функции на непрерывность. Тригонометрическая форма числа.
контрольная работа, добавлен 26.02.2012Применение второго замечательного предела для раскрытия неопределенности. Точки разрыва непрерывной функции 1-го и 2-го рода. Условия ее непрерывности в точке, интервале и на отрезке. Теоремы Вейерштрасса и Больцано-Коши. Обращение функции в ноль.
презентация, добавлен 20.03.2014Особенности решения обыкновенного линейного неоднородного дифференциального уравнения второго порядка с заданными граничными условиями методом конечной разности. Составление трехдиагональной матрицы. Реализация решения в программе Microsoft Office Excel.
курсовая работа, добавлен 23.12.2013Исследования Дж. Кардано и Н. Тарталья в области решения первичных задач теории вероятностей. Вклад Паскаля и Ферма в развитие теории вероятностей. Работа Х. Гюйгенса. Первые исследования по демографии. Формирование понятия геометрической вероятности.
курсовая работа, добавлен 24.11.2010Расчет показателей матрицы, ее определителя по строке и столбцу. Решение системы уравнений методом Гаусса, по формулам Крамера, с помощью обратной матрицы. Вычисление предела без использования правила Лопиталя. Частные производные второго порядка функции.
контрольная работа, добавлен 23.02.2012Производные основных элементарных функций. Правила дифференцирования. Условия существования и единственности задачи Коши. Понятие дифференциальных уравнений, их применение в моделях экономической динамики. Однородные линейные ДУ первого и второго порядка.
курсовая работа, добавлен 22.10.2014Определение матрицы, решение систем уравнений методом Гаусса и по формулам Крамера. Определение параметров треугольника, его графическое построение. Задача приведения уравнения кривой второго порядка к каноническому виду и ее построение.
контрольная работа, добавлен 08.05.2009Вектор в декартовой системе координат как упорядоченная пара точек (начало вектора и его конец). Линейные операции с векторами. Базис на плоскости и в пространстве. Свойства скалярного произведения. Кривые второго порядка. Каноническое уравнение параболы.
учебное пособие, добавлен 09.03.2009Составление структурной схемы дискретной системы по разностному уравнению. Частотный коэффициент передачи. Методы вычисления обратного Z-преобразования. Определение системной функции рекурсивного фильтра второго порядка с применением теоремы о вычетах.
презентация, добавлен 19.08.2013Уравнение прямой линии на плоскости, условия перпендикулярности плоскостей. Вычисления для векторов и их значение, нахождение скалярных произведений, обратная матрица к квадратной матрице и вычисление определителя, бесконечные системы и их признаки.
тест, добавлен 08.03.2012- 116. Предел функций
Определение второго замечательного предела. Понятие бесконечно малых функций. Математическое описание непрерывности зависимости одной переменной величины от другой в точке. Точки разрыва функции. Свойства и непрерывность ее в интервале и на отрезке.
презентация, добавлен 14.11.2014 Нахождение длины ребер, углов между ними, площадей граней и объема пирамиды по координатам вершин пирамиды. Решение системы трех линейных уравнений с тремя неизвестными методом Крамера, средствами матричного исчисления. Уравнение кривой второго порядка.
контрольная работа, добавлен 01.05.2012Метод координат. Основные задачи аналитической геометрии на прямой и на плоскости. Основные линии второго порядка. Алгебраическая и геометрическая интерпретация векторов. Уравнение поверхности и уравнение линии в пространстве. Общее уравнение плоскости.
учебное пособие, добавлен 04.05.2011Обзор применения аппарата разностных уравнений в экономической сфере. Построение моделей динамики выпуска продукции фирмы на основе линейных разностных уравнений второго порядка. Анализ модели рынка с запаздыванием сбыта, динамической модели Леонтьева.
практическая работа, добавлен 11.01.2012Вычисление среднего одномерных случайных величин. Определение доверительного интервала для математического ожидания и для дисперсии. Построение эмпирической и приближенной линий регрессии Y по X. Дисперсионный анализ греко-латынского куба второго порядка.
курсовая работа, добавлен 08.05.2012Появление понятия функций Ляпунова. Развитие теории устойчивости движения. Применение функций Ляпунова к исследованию продолжимости решений дифференциальных уравнений. Методы построения функций Ляпунова, продолжимость решений уравнений третьего порядка.
дипломная работа, добавлен 29.01.2010Линейная дискретная система с постоянными параметрами. Условие устойчивости одномерного стационарного линейного фильтра. Устойчивость нерекурсивных дискретных систем. Проверка на устойчивость рекурсивного фильтра второго порядка. Уравнения сумматоров.
презентация, добавлен 19.08.2013Решение краевой задачи. Методы конечно-разностных, центрально-разностных отношений и метод прогонки. Приближенное решение линейного дифференциального уравнения второго порядка с помощью методов Галеркина, Ритца и коллокации, сравнение результов.
курсовая работа, добавлен 27.04.2011Дифференциальное уравнение Бесселя и его интегралы. Рекуррентные формулы для данных функций. Применение теоремы Коши к интегралу Пуассона. Некоторые применения функций Бесселя. Задача на тепловое равновесие. Дифференциальное уравнение второго порядка.
курсовая работа, добавлен 06.06.2013Основные этапы развития математики в Древней Греции. Изучение чисел и геометрии в Пифагорейской школе. Вклад Зенона, Демокрита, Платона и Евдокса в становление античной науки. Великий геометр древности Евклид и содержание его главного труда "Начала".
презентация, добавлен 10.03.2013