Основы математической логики. Ветвление
Изучение понятия о логической величине. Отличия общих, частных, единичных высказываний. Таблица истинности. Принципы использования простых и составных логических выражений. Вложенное ветвление. Определение наибольшего среди трех чисел неполного ветвления.
Подобные документы
Изучение основных подгрупп алгоритмов проверки простоты больших чисел: детерминированные и вероятностные проверки. Исследование методов генерации и проверки на простоту больших чисел с помощью метода Ферма (малая теорема Ферма), составление программы.
лабораторная работа, добавлен 27.12.2010Сумма n первых чисел натурального ряда. Вычисление площади параболического сегмента. Доказательство формулы Штерна. Выражение суммы k-х степеней натуральных чисел через детерминант и с помощью бернуллиевых чисел. Сумма степеней и нечетных чисел.
курсовая работа, добавлен 14.09.2015Создание математической модели движения шарика, подброшенного вертикально вверх, от начала падения до удара о землю. Компьютерная реализация математической модели в среде электронных таблиц. Определение влияния изменения скорости на дальность падения.
контрольная работа, добавлен 09.03.2016Нечеткая логика как раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечеткого множества. Основные правила и законы данной логики, алгоритм Мамдани. Содержание и принципы решения задачи о парковке.
курсовая работа, добавлен 22.04.2014- 80. Системы и их типологические, генеалогические, стадиальные и ареальные классы с позиций системологии
Уточнение понятия функции функционального объекта. Соотношение его структурных и качественных свойств. Отличия функции системы от математической функции. Текущая и предельная внутренняя детерминанта. Эволюция системы, исходная внутренняя детерминанта.
реферат, добавлен 19.02.2011 Нахождение пределов, не используя правило Лопиталя. Исследование функции на непрерывность, построение ее графика. Определение типа точки разрыва. Поиск производной функции. Поиск наибольшего и наименьшего значения функции на указанном ее отрезке.
контрольная работа, добавлен 26.03.2014Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012Расчет частных производных первого порядка. Поиск и построение области определения функции. Расчет полного дифференциала. Исследование функции на экстремум. Поиск наибольшего и наименьшего значения функции в замкнутой области. Производные второго порядка.
контрольная работа, добавлен 06.05.2012Операции логики с понятием "суд". Объединённая классификация суждений, их логические обозначения. Составные части сложного суждения, запись их с помощью символов, пропозициональных союзов. Полный разбор силлогизма. Запись формально-логического закона.
контрольная работа, добавлен 23.10.2013Определение отношений между понятиями, изображение их с помощью кругов Эйлера. Установление видов данных суждений, их отношений по логическому квадрату. Определение правильности простого категорического силлогизма. Установление правильности энтимемы.
контрольная работа, добавлен 09.05.2016Определение и примеры симметрических многочленов от трех и нескольких переменных. Решение систем уравнений с тремя неизвестными. Освобождение от иррациональности в знаменателе. Разложение на множители. Основная теорема об антисимметрических многочленах.
курсовая работа, добавлен 12.04.2012Законы алгебры Буля и их применение для преобразования логических выражений. Расчет информационной емкости документов предметной области. Построение инфологической, реляционной и даталогической моделей. Применение методов поиска и сортировки данных.
курсовая работа, добавлен 05.01.2013Прогрессии многочленов и их матриц. Описание вертикальных рядов. Построение алгебраической трапеции из ограниченного количества чисел ряда последовательности. Свободные члены выражений. Особенности разрешимости Диофантовых уравнений. Расшифровка формул.
курсовая работа, добавлен 31.12.2015Сутність, особливості та історична поява чисел "пі" та "е". Доведення ірраціональності та трансцендентності чисел "пі" та "е". Методи наближеного обчислення чисел "пі" та "е" за допомогою числових рядів та розкладу в нескінченні ланцюгові дроби.
курсовая работа, добавлен 18.07.2010- 90. Булевы функции
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа, добавлен 20.01.2011 Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.
курсовая работа, добавлен 12.05.2009Способы решения логических задач типа "Кто есть кто?" методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.
курсовая работа, добавлен 15.06.2010Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
курсовая работа, добавлен 22.05.2015Изучение основных определений и теорем, связанных с полукольцом натуральных чисел, описание его нулевого, главного и двухпорожденного идеалов. Исследование проблемы нахождения констант Фробениуса для аддитивной полугруппы, порожденной линейной формой.
курсовая работа, добавлен 12.06.2010Делимость в кольце чисел гаусса. Обратимые и союзные элементы. Деление с остатком. Алгоритм евклида. Основная теорема арифметики. Простые числа гаусса. Применение чисел гаусса.
дипломная работа, добавлен 08.08.2007Изучение формул Крамера и Гаусса для решения систем уравнений. Использование метода обратной матрицы. Составление уравнения медианы и высоты треугольника. Нахождение пределов выражений и производных заданных функций. Определение экстремумов функции.
контрольная работа, добавлен 15.01.2014История отрицательных чисел: их отрицание в Древнем Египте, Вавилоне, Греции, узаконивание в Китае и Индии. Математические действия с ними. Подходы к определению положению нуля как натурального числа. Изучение отрицательных чисел в школьной программе.
презентация, добавлен 13.05.2011Расчет значений комплексных чисел в алгебраической, тригонометрической и показательной формах. Определение расстояния между точками на комплексной плоскости. Решение уравнения на множестве комплексных чисел. Методы Крамера, обратной матрицы и Гаусса.
контрольная работа, добавлен 12.11.2012Расчет площади треугольника АВС, при условии, что размер каждой клетки равняется 1*1 см. Определение корня уравнения (4x+5)=5. Поиск значения выражения 7*5log52. Определение наибольшего значения заданной функции y=4x-4tgx+п-9 на отрезке [-п/4;п/4].
контрольная работа, добавлен 27.12.2013Составление математической модели для предприятия, характеризующей выручку предприятия "АВС" в зависимости от капиталовложений (млн. руб.) за последние 10 лет. Расчет поля корреляции, параметров линейной регрессии. Сводная таблица расчетов и вычислений.
курсовая работа, добавлен 06.05.2009