Файл: Международный консорциум Электронный университет Московский государственный университет экономики, статистики и информатики.doc

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 26.03.2024

Просмотров: 321

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

СОДЕРЖАНИЕ

Множества

1.1. Операции над множествами. Мощность множеств. Отображение множеств

1.2. Отношения на множествах

Тест

Математическая логика Математическая логика представляет собой формальный математический аппарат, изучающий различные способы логических рассуждений.2.1. Алгебра высказыванийПростейшую из формальных логических теорий называют алгеброй высказываний. Из высказываний состоит любое логическое рассуждение. Высказывание – предложение, относительно которого можно утверждать, истинно оно или ложно. Так, предложение «5>1», «13 делится на 5» – высказывания. Но «Который час?», «Да здравствует математика!» – не являются высказываниями в связи с данным определением. Если высказывание истинно (ложно) в любой логической ситуации, то оно называется тождественно истинным (ложным), или логической константой, обозначаемой соответственно И(Л). Высказывания, истинные в одних логических ситуациях и ложные в других, называются переменными высказываниями. Все приведенные выше высказывания представляют собой так называемые элементарные высказывания.Логические операцииОбозначим элементарные высказывания латинскими буквами A, B, C, ... , X, Y, Z ...Конъюнкция. Обозначается АВ (А&В, АВ), читается: А и В. Получили сложное высказывание, составленное из двух элементарных. Значение истинности или ложности высказывания, являющегося конъюнкцией двух элементарных высказываний А и В, задается следующей истинностной таблицей:Таблица 2.1.1 Все рассматриваемые в дальнейшем логические связи будут задавать с помощью аналогичных истинностных таблиц.Чаще пользуются более удобным обозначением: «И» – 1, «Л» – 0. В этих обозначениях истинностная таблица конъюнкции будет иметь видТаблица 2.1.2 Итак, конъюнкция двух элементарных высказываний истинна тогда и только тогда, когда оба элементарных высказывания истинны.Дизъюнкция. Обозначается АВ, читается: А или В. При этом разделительный смысл союза «или» исключается. Истинностная таблица дизъюнкции имеет вид:Таблица 2.1.3 Дизъюнкция двух элементарных высказываний является ложным высказыванием тогда и только тогда, когда оба высказывания, ее составляющие, ложны.Отрицание. Единственная логическая операция, относящаяся к одному высказыванию, – унарная, в отличие от остальных – бинарных. Обозначается: (>А,

2.2. Проблемы разрешимости. Нормальные формы

2.4. Логика предикатов

Тест

Теория графов

Матрицы достижимостей и контрадостижимостей

3.2. Деревья

Постановка задачи

Алгоритм Краскала

3.3. Экстремальные задачи на графах

Контрольное задание №8

Контрольное задание №9

Контрольное задание №10

Контрольное задание №11

Контрольное задание №12.

Контрольное задание №13.

Контрольное задание №14.

Контрольное задание №15

С писок рекомендуемой литературы





  1. Правильно ли рассуждение: если 2 – простое число, то это наименьшее простое число. Если 2 – наименьшее простое число, то 1 – не есть простое число. Число 1 – не простое, следовательно, 2 – простое число.




  1. Если дискриминант квадратного уравнения не отрицателен, то уравнение имеет действительные корни. Следует ли из этого, что дискриминант не отрицателен.




  1. Если монотонная последовательность ограничена, то она сходится. Однако данная последовательность не сходится. Следовательно, она не ограничена.




  1. Если функция сложная, то используют универсальную подстановку. Данная функция проста. Следовательно, универсальная постановка не будет использована.




  1. Дробь имеет смысл только тогда, когда ее знаменатель отличен от нуля. Знаменатель данной дроби равен нулю. Следовательно, дробь смысла не имеет.

Контрольное задание №8



С помощью ДНФ и КНФ (без построения таблицы истинности) установить тип формулы (в случае выполнимой формулы установить: является ли она тождественно истиной или нейтральной).
























Контрольное задание №9



Получить для формул из контрольного задания 8 СДНФ и СКНФ (если это возможно) с помощью равносильных преобразований (без построения таблицы истинности).

Контрольное задание №10



По функциям написать формулы и упростить их:
1. f (0,0,0) = f (0,0,1) = f (1,0,0) =1.

2. f (0,0,0) = f (0,0,1) = f (1,0,0) =0.

3. f (1,0,1) = f (0,1,1) = f (1,1,1) =1.

4. f (1,0,1) = f (0,1,1) = f (1,1,1) =0.

5. f (0,1,0) = f (1,1,0) = f (1,1,1) =0.

6. f (0,1,1) = f (1,0,0) = f (1,1,0) =1.

7. f (0,0,0) = f (0,1,0) = f (1,1,1) =0.

8. f (0,0,1) = f (1,0,0) = f (1,1,0) =1.

9. f (1,0,1,0) = f (0,0,1,0) =0.

10. f (1,1,0,0) = f (0,1,0,0) =1.

Контрольное задание №11



Упростить схемы:









3.



4.



5.



6.


7.




8.



9.


10.




Контрольное задание №12.



Ввести предикаты на соответствующих областях (возможно многоместные) и записать с их помощью высказывания:

        1. Через три произвольные точки проходит некоторая плоскость.

        2. Через три различные точки проходит некоторая плоскость.

        3. Через три различные точки проходит единственная плоскость.

        4. Через три точки, не лежащие на одной прямой, проходит некоторая плоскость.

        5. Между двумя любыми точками на прямой лежит еще хотя бы одна точка.

        6. Любая прямая лежит хотя бы в одной плоскости.

        7. Сумма двух любых четных чисел четна.

        8. Если сумма трех натуральных чисел не делится на простое число, то на него не делится, по крайней мере, одно из слагаемых.

        9. Записать в виде логики предикатов определение простого числа.

        10. записать в виде логики предикатов определение непрерывности функции.

Контрольное задание №13.


Решить следующие задачи:

  1. Задан граф G (X,ГX)

X=x1,x2,x3,x4,x5

ГХ: Гx1=x4

Гx2=x1,x4

Гx3=x4,x5

Гx4=x1,x5

Гx5=x1,x3

Определить хроматическое и цикломатическое число данного графа.


  1. Найти числа внутренней и внешней устойчивости для графа




  1. Найти число внутренней устойчивости для графов.





  1. Найти число внешней устойчивостей для графов.





  1. Для графов задачи 3 найти число внешней устойчивости, указать ядро графа.




  1. Для графов задачи 4 найти число внутренней устойчивости, указать ядро графа.




  1. Найти число внутренней устойчивости графа.




  1. Найти число внешней устойчивости графа.





  1. Определить числа внутренней и внешней устойчивости для графа.





  1. Определить минимальное число часовых, необходимых для охраны 11 объектов, расположенных в вершинах графа. Объекты просматриваются по ребрам графа.



Контрольное задание №14.



Решить следующие задачи:


  1. Даны два графа



Произвести непосредственное сложение этих графов. Составить матрицы смежности и найти с их помощью пересечение графов.


  1. Даны два графа своими матрицами смежности:










Составить матрицу смежности, соответствующую сумме и пересечению графов. Нарисовать диаграммы исходных и результирующих графов


  1. Даны три графа:



Составить их матрицы смежности. Найти граф G=(G1UG2)∩G3 и построить его диаграмму.


  1. Даны графы своими матрицами смежности











Найти матрицу смежности графа G=(G1UG3)∩(G2UG3) и построить его диаграмму.


  1. Даны два графа:































Построить диаграммы данных графов, составить их матрицы смежности. Найти сумму и пересечение данных графов непосредственно и с помощью матриц смежности.


  1. Найти декартово произведение двух графов