Учебная работа № 341291. Тема: Логические основы доказательства и опровержения в юридической деятельности
[Тип работы: Контрольная
Предмет: Логика
Страниц: 15
Стр.
ВВЕДЕНИЕ 3
1. Логические основы доказательства и опровержения в юридической практике на примере гражданского процесса 5
ЗАКЛЮЧЕНИЕ 17
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 18
Учебная работа № 341291. Тема: Логические основы доказательства и опровержения в юридической деятельности
Выдержка из похожей работы
Лекции по теории автоматов. Логические основы цифровых автоматов
…….………….…9
2.3.
Теорема Шеннона о разложении логической
функции……………………………12
2.4.
Анализ и синтез комбинационных
схем…………………………………………….12
2.4.1. Общие сведения………………………………………………………………..12
2.4.2. Параметры реальных логических
элементов и цифровых схем…………….15
2.4.3. Правила соединения логических
элементов в схемах……………………….16
2.4.4. Задачи анализа и синтеза
КС………………………………………………….17
2.4.5. Синтез КС в заданном
базисе…………………………………………………18
2.4.6. Синтез КС с несколькими
выходами…………………………………………18
2.5. Не
полностью определенные логические
функции………………………………..21
2.6.
Особенности проектирования комбинационных
схем с учетом задержек….……23
2.7.
Способы проектирования комбинационных
схем, свободных от состязаний……26
Задачи
и упражнения…..…………………………………………………………….…..27
Литература…………………………………………………………………………………28
ЧАСТЬ 2. ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ
АВТОМАТОВ
2.1.
Способы задания логических функций
Логические функции (ЛФ) задаются на
множестве аргументов, каждый из которых
определяется на множестве {0, 1}({ложь,
истина}), при этом сами функции принимают
значения из этого же множества. Общая
форма записи функции от n
переменных: f (x1,
x2, … , xn).
Ниже перечислены основные способы
задания ЛФ.
1. Таблица истинности (ТИ); пример
приведен ниже в п. 4.
2. Аналитическая форма (формула,
содержащая обозначения логических
переменных, логических операций, круглые
скобки). Примеры: дизъюнктивная
нормальная форма (ДНФ) или конъюнктивная
нормальная форма (КНФ) логической
функции.
3. Карты Карно – используются как способ
задания логических функций и как средство
их минимизации (см. раздел 2.2).
4. Числовой способ; для пояснения
используем таблицу истинности:
f (x1,
x2, x3)
=
(0, 2, 3) – в скобках указаны номера наборов,
на которых функция равна единице;
f (x1,
x2, x3)
=
(1, 4, 5, 6, 7) – в скобках указаны номера
наборов, на которых функция равна нулю.
Таблица истинности ЛФ
x1
x2
x3
f
0
0
0
1
0
0
1
0
0
1
0
1
0
1
1
1
1
0
0
0
1
…
