Булева алгебра
Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.
Подобные документы
Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.
контрольная работа, добавлен 05.05.2013- 77. Линейная алгебра
Обратная матрица. Матричные уравнения. Некоторые свойства определителей. Решение квадратной системы. Фундаментальная система решений. Метод Крамера. Если D=0 и не все Dxj=0, то система несовместна.
лабораторная работа, добавлен 07.10.2002 Доказательство теоремы о выявлении алгебраической замкнутости поля С (то есть существования корня у любого отличного от константы полинома с комплексными коэффициентами) согласно с принципами лемм Даламбера и о достижении точной нижней грани значений.
реферат, добавлен 01.03.2010Применение метода инверсии при решении задач на построение в геометрии. Решение задачи Аполлония, лемма об антипараллельных прямых. Инвариантные окружности и сохранение углов при инверсии. Недостатки применения инверсии и работа инверсора Гарта.
дипломная работа, добавлен 30.09.2009Теория высшей алгебры в решении задач элементарной математики. Программы для нахождения частного и остатка при делении многочленов, наибольшего общего делителя двух многочленов, производной многочлена; разложения многочленов на кратные множители.
дипломная работа, добавлен 09.01.2009Биографические сведения об Огюстене Луи Коши - французском математике XIX века, который вошел в историю благодаря открытиям в области дифференциальных уравнений, алгебры, геометрии и математического анализа. Достижения, исследования и открытия ученого.
презентация, добавлен 28.04.2015Пьер де Ферма сделал почти 370 лет назад свою запись на полях арифметики Диофанта. Натуральные взаимно простые числа, не имеющие общих целых множителей, кроме 1. Пример справедливости приведенного доказательства.
статья, добавлен 19.12.2006Задача на вычисление скалярного произведения векторов. Нахождение модуля векторного произведения. Проверка коллинеарности и ортогональности. Составление канонического уравнения эллипса, гиперболы, параболы. Нахождение косинуса угла между его нормалями.
контрольная работа, добавлен 04.12.2013Сравнительный анализ численных методов решения систем линейных алгебраических уравнений. Вычисление определителей и обратных матриц. Реализация методов в виде машинных программ на языке высокого уровня и решение задач на ЭВМ. Модификации метода Гаусса.
реферат, добавлен 04.03.2011Методика расчета скалярного произведения заданных векторов. Расчет определителей и рангов матриц, нахождение обратных матриц. Разрешение уравнений по методу Крамера, обратной матрицы, а также встроенной функции lsolve. Анализ полученных результатов.
лабораторная работа, добавлен 13.10.2014Допустимые кольца и решетки. Допустимые полутела. О единственности расширения. Теория полуколец - раздел современной алгебры, находящий применения в компьютерной алгебре, идемпотентном анализе, теории оптимального управления.
дипломная работа, добавлен 08.08.2007Линейные операции над векторами. Скалярное произведение двух векторов. Векторное произведение векторов. Графическое решение систем неравенств. Построение графиков функций с помощью геометрических преобразований. Простейшие геометрические преобразования.
методичка, добавлен 15.06.2015Исторический обзор формирования тригонометрии как науки от древности до наших дней. Введение понятия тригонометрических функций на уроках алгебры и начал анализа по учебникам А.Г. Мордковича, М.И. Башмакова. Решения линейных дифференциальных уравнений.
дипломная работа, добавлен 02.07.2011- 89. Евклид и Архимед
Краткие биографические сведения из жизни и научных изысканиях ученых Евклида и Архимеда. Разработка Евклидом основ стереометрии, планометрии, алгебры, теории чисел, отражение их в труде "Начала". Вклад Архимеда в развитие арифметики, геометрии, механики.
реферат, добавлен 13.06.2009 Параллельные методы умножения матрицы на вектор. Принципы распараллеливания. Способы разбиения матриц ленточного типа по строкам. Распределение задач по процессорам. Анализ эффективности. Программная реализация (MPI) – порядок по логике вызовов.
презентация, добавлен 10.02.2014Изучение свойств геометрических объектов при помощи алгебраических методов. Основные операции над векторами. Умножение вектора на отрицательное число. Скалярное произведение векторов. Нахождение угла между векторами. Нахождение координат вектора.
контрольная работа, добавлен 03.12.2014Линейные операции над матрицами. Умножение и вычисление произведения матриц. Приведение матрицы к ступенчатому виду и вычисление ранга матрицы. Вычисление обратной матрицы и определителя матрицы, а также решение систем линейных уравнений методом Гаусса.
учебное пособие, добавлен 26.01.2009Вычислительные методы линейной алгебры. Интерполяция функций. Интерполяционный многочлен Ньютона. Узлы интерполяции. Интерполяционный многочлен Лагранжа. Интерполяция сплайнами. Коэффициенты кубических сплайнов.
лабораторная работа, добавлен 06.02.2004Модель Пуанкаре геометрии Лобачевского: вопрос о ее непротиворечивости. Инверсия, ее аналитическое задание. Преобразование окружности и прямой, сохранение углов при инверсии. Инвариантные прямые и окружности. Система аксиом геометрии Лобачевского.
дипломная работа, добавлен 10.09.2009- 95. Гипотеза Биля
Доказательство гипотезы Биля методами элементарной алгебры: сочетание методов решения параметрических уравнений и замены переменных (теорема Ферма). Ее формулировка в виде неопределенного уравнения, которое не имеет решения в целых положительных числах.
творческая работа, добавлен 29.05.2009 Доказательство теоремы Пифагора методами элементарной алгебры: методом решения параметрических уравнений в сочетании с методом замены переменных. Существование бесконечного количества троек пифагоровых чисел и, соответственно, прямоугольных треугольников.
творческая работа, добавлен 25.06.2009История развития алгебры как научной дисциплины. Расширения Галуа как универсальный метод решения уравнений любой степени. Определение понятия коммуникативной (абелевой) группы. Сущность кольца и его свойства. Примеры использования конечного поля.
реферат, добавлен 28.05.2014Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.
контрольная работа, добавлен 05.07.2014Биография Франсуа Виета и его труды по математике. Создание новой алгебры: выражение свойств уравнений и их корней общими формулами и алгебраическими выражениями. Знаменитая теорема, устанавливающая связь коэффициентов многочлена с его корнями.
реферат, добавлен 13.05.2012Предмет и методы изучения дифференциальной векторно-матричной алгебры, ее структура. Векторное решение однородных и неоднородных дифференциальных уравнений. Численное решение векторно-матричных уравнений. Формулы построения вычислительных процедур.
реферат, добавлен 15.08.2009