Математическая логика в технике
Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.
Подобные документы
Назначение и функции программы для решения транспортной задачи. Решение и процедура построения потенциального (оптимального) плана. Математическая модель, информационная база задачи. Входная и выходная информация. Описание программы, ее применения.
курсовая работа, добавлен 16.11.2008Жизненный и творческий путь одного из известных историков математики, доктора физико-математических наук, профессора Константина Алексеевича Рыбникова, научные интересы которого были посвящены истории математики, логике и комбинаторному анализу.
статья, добавлен 30.07.2016Греческая система счисления, основанная на использовании букв алфавита. Греческая тригонометрия и ее приложения в астрономии. Начало современной математики, достижения в алгебре. Создание дифференциального и интегрального исчислений, основные методы.
реферат, добавлен 07.04.2014Определение понятия и видов симметрии. Описание проявлений симметрии в науке, исследование ее примеров в природе и технике. Изучение математических мотивов в филологии. Выделение основных направлений применения симметрии как основы красоты в творчестве.
материалы конференции, добавлен 16.01.2016Детерминированные функции и способы их задания. Основные типы преобразующих автоматов. Последовательные автоматные вычисления. Построение логических цепей. Операции над словами и языками. Порождение и распознавание цепочек. Элементы теории кодирования.
учебное пособие, добавлен 20.05.2014История математических исследований простых чисел как натуральных чисел, имеющих два различных натуральных делителя - единицу и самого себя. Представление простых чисел в виде значений квадратных многочленов. Описание спирали простых чисел С.М. Улама.
статья, добавлен 28.03.2019Подробные описания и другие начальные сведения о наиболее интересных, актуальных и занимательных логических и компьютерных играх и головоломках: магических квадратах, крестиках-ноликах, игре Жизнь и Футбол, полифомах (пентамино), танграммах, лабиринтах.
учебное пособие, добавлен 03.07.2013Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019Методы построения и чтения чертежей объектов. Начертательная геометрия в науке и технике. Условные обозначения геометрических объектов и символы математической логики. Инженерный способ построения комплексного чертежа. Метрические свойства проекций.
учебное пособие, добавлен 20.01.2015Рассмотрение логических или нечисловых задач, которые составляют обширный класс нестандартных задач. Анализ разных способов решения логических задач. Особенности методов рассуждений, таблиц, графов, блок-схем, бильярда, метода с помощью кругов Эйлера.
статья, добавлен 25.02.2019Рассмотрение понятия интерполяции и ее практического применения. Нахождение промежуточных значений величины по имеющемуся дискретному набору известных значений. Экстраполирование функции с использованием первой и второй интерполяционных формул Ньютона.
реферат, добавлен 23.12.2014Особенности метода математической индукции, его широкое применение при доказательстве теорем, тождеств, неравенств, к суммированию рядов, геометрическим задачам и задачам на делимость натуральных чисел. Примеры применения метода математической индукции.
реферат, добавлен 15.12.2011- 88. Законы логики
Содержание и специфика основных законов логики. Свойства человеческой мысли вычленять вещи из окружающего мира и рассматривать их раздельно. Диалектические противоречия процесса познания и их выражения в форме формально-логических противоречий и гипотез.
реферат, добавлен 30.10.2010 Исследование особенностей распространения нефтепродуктов при возможных утечках в воды Мирового океана. Приводится математическая модель, описывающая распространение многофазной затопленной струи, в результате повреждения нефтедобывающей конструкции.
статья, добавлен 14.08.2020- 90. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021Обозначения сторон прямоугольного треугольника. Признаки равенства, высоты, медианы и биссектрисы прямоугольных треугольников. Вписанная и описанная окружность. Проекции катетов на гипотенузу. Таблица значений синуса, косинуса, тангенса и котангенса.
презентация, добавлен 24.02.2011Логика одна из древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. Модальность логических суждений. Логическая характеристика суждения. Эпистемическая модальность. Деонтическая модальность.
реферат, добавлен 20.01.2009Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Математическая формулировка комплексного метода Бокса. Понятие целевой функции. Основные разновидности целевых функций. Понятие системы граничных условий, разновидности систем граничных условий. Условная и безусловная оптимизация, области применения.
контрольная работа, добавлен 02.03.2015Рассмотрение особенностей арифметической и геометрической прогрессий. Таблица значений тригонометрических функций некоторых углов. Характеристика физических основ механики. Изучение законов электростатики. Основы электрического тока в металлах и газе.
учебное пособие, добавлен 13.01.2014Постановка задачи и построение модели алгоритма, описание и доказательство его правильности. Описание переменных программы и расчет вычислительной сложности. Использование одномерного массива размерности, совпадение начального и конечного результата.
реферат, добавлен 30.10.2010- 98. Булева алгебра
Ознакомление с историей зарождения и особенностями булевой алгебры. Характеристика специфики совершенных дизъюнктивной и конъюнктивной нормальных форм. Рассмотрение сущности математической логики. Основные теории вероятности в функциональном анализе.
реферат, добавлен 11.10.2012 Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017Характеристика классов приближающих функций. Метод интерполяции Лагранжа. Метод получения аппроксимирующего значения функции без построения в явном виде полинома. Метод сплайн-аппроксимации и наименьших квадратов. Способы определения полиномы Чебышева.
контрольная работа, добавлен 03.06.2009