Основы логики и логические основы компьютера ............................................................... |
3 |
||
1. |
Формы мышления ............................................................................................................. |
3 |
|
1.1. |
|
Логика — это наука о формах и способах мышления............................................... |
3 |
1.2. |
|
Понятие .......................................................................................................................... |
3 |
1.3. |
|
Высказывание ................................................................................................................ |
4 |
1.4. |
|
Умозаключение ............................................................................................................. |
5 |
2. |
Алгебра логики.................................................................................................................. |
6 |
|
2.1. |
|
Логическое умножение (конъюнкция)........................................................................ |
7 |
2.2. |
|
Логическое сложение (дизъюнкция) ........................................................................... |
8 |
2.3. |
|
Логическое отрицание (инверсия) ............................................................................... |
9 |
2.4. |
|
Логическое следование (импликация) ...................................................................... |
10 |
2.5. |
|
Логическое тождество (эквиваленция) ..................................................................... |
10 |
2.6. |
|
Операция «ИСКЛЮЧАЮЩЕЕ ИЛИ» ...................................................................... |
11 |
3. |
Порядок выполнения логических операций в сложном логическом выражении ... |
12 |
|
4. Логические выражения и таблицы истинности ........................................................... |
13 |
||
4.1. |
|
Логические выражения ............................................................................................... |
13 |
4.2. |
|
Таблицы истинности ................................................................................................... |
14 |
4.3. |
|
Равносильные логические выражения ...................................................................... |
15 |
5. Построение таблиц истинности для сложных выражений ......................................... |
16 |
||
6. |
Логические функции....................................................................................................... |
17 |
|
6.1. |
|
Логическое следование (импликация) ...................................................................... |
18 |
6.2. |
|
Логическое равенство (эквивалентность) ................................................................. |
19 |
7. |
Логические законы и правила преобразования логических выражений .................. |
20 |
|
7.1. |
|
Закон тождества........................................................................................................... |
20 |
7.2. |
|
Закон непротиворечия ................................................................................................ |
20 |
7.3. |
|
Закон исключённого третьего .................................................................................... |
20 |
7.4. |
|
Закон двойного отрицания ......................................................................................... |
21 |
7.5. |
|
Законы де Моргана (общей инверсии) ...................................................................... |
21 |
7.6. |
|
Закон коммутативности (переместительный) .......................................................... |
21 |
7.7. |
|
Закон ассоциативности (сочетательный) .................................................................. |
21 |
7.8. |
|
Закон дистрибутивности (распределительный) ....................................................... |
22 |
8. |
Логические элементы ..................................................................................................... |
22 |
|
8.1. |
|
Простейший логический элемент НЕ (инвертор) .................................................... |
23 |
Базовый набор операций ....................................................................................................... |
24 |
||
8.2. |
|
Логический элемент И (конъюнктор) ....................................................................... |
24 |
8.3. |
|
Логический элемент ИЛИ (дизъюнктор) .................................................................. |
25 |
8.4. |
|
Логический элемент «ИСКЛЮЧАЮЩЕЕ ИЛИ» .................................................... |
25 |
9. Таблица 18 – Условные обозначения логических элементов компьютера ............... |
26 |
||
10. |
|
Вопросы для самопроверки........................................................................................ |
27 |
11. |
|
Решение логических задач ......................................................................................... |
28 |
11.1. |
Примеры решения задач ......................................................................................... |
28 |
|
11.2. |
Тесты......................................................................................................................... |
32 |
|
11.3. |
Задания ..................................................................................................................... |
33 |
|
Библиографический список................................................................................................... |
35 |
||
Содержание............................................................................................................................. |
36 |
||