Контрольная Математическая логика. Задачи 1, 4, 5, 8
Предмет:Логика Тип работы:Контрольная Количество страниц:7
«»Задача № 1 3
Записать следующие высказывания в виду формул логики высказываний, используя пропозициональные (логические) переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены из какихлибо других высказываний: «Неверно, что ни Петров, ни Сидоров не выдержали экзамен».
Задача №4 3
Упростить полученную в задании 3 формулу, используя законы алгебры логики:
Задача №5 5
Доказать с помощью тождественных преобразований равносильность упрощенной формулы (задание 4) и исходной (задание 2)
Задача №8 5
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме: «Если либо всякий любитель выпивки общителен, либо некий ростовщик честен и не пьет вина, то неверно, что всякий ростовщик общителен»
Литература 7″»
Цена:490 руб.
Выдержка из подобной работы:
….
Математическое моделирование физических задач на ЭВМ
…..дика моделирования 10 1. Линейный граф и матрица соединений 10 2. Уравнения контурных токов 13 3. Алгоритм формирования узловых уравнений 16Заключение 17
Использованная литература 18
Приложение 19 Введение Все электротехнические и радиотехнические устройства представляют
собой электромагнитные устройства главные процессы в которых подчиняются
общим законам электромагнетизма. В любом электромагнитном устройстве
происходит движение электрических зарядов неразрывно связанное с
изменяющимся во времени и пространстве электромагнитным полем двумя
сторонами которого являются электрическое и магнитное поля. Электромагнитные процессы сопровождаются взаимным преобразованием
электромагнитной энергии в другие виды энергии. Точный анализ этих
процессов описываемых системами уравнений в частных производных
— задача трудно разрешимая даже в простейших
случаях. Но для инженерных расчетов и проектирования устройств необходим
количественный анализ. Поэтому возникает потребность в приближенных методах
анализа позволяющих с достаточной степенью точности решать широкий круг
задач. Такие методы дает теория электрических цепей которая для
характеристики электромагнитных процессов вместо векторных величин теории
поля зависящих от пространственных координат и времени вводит
интегральные скалярные величины – ток и напряжение являющиеся функциями
времени. Для приближенного учета процессов преобразования электромагнитной
энергии в теории цепей вводят идеальные элементы с выводами или полюсами
через которые проходит электрический ток. Простейшими идеальными базисными
элементами являются двухполюсные элементы с двумя полюсами или выводами –
индуктивный емкостный и резистивный элементы учитывающие накопление
энергии в магнитном и электрическом полях и необратимое преобразование
электромагнитной энергии в другие виды энергии. Для учета преобразования
энергии неэлектрической природы в электромагнитную энергию вводят элемент с двумя выводами называемый
источником. Наряду с указанными вводят четырехполюсные и многополюсные
элементы в общем случае с