Перечень сокращений

БИС - большая интегральная схема

БМОК – база минимального обобщённого кода

ДНФ - дизъюнктивная нормальная форма

ЗОК - запрещённый обобщённый код

ИС - интегральная схема

ИЭИ - Ивановский энергетический институт (Иваново)

КА - конечный автомат

КДУ - контрольно-диагностическое устройство

КК - карта Карно

КС - комбинационная схема

МОК - минимальный обобщённый код

МДНФ – минимальная ДНФ

НИИДАР – НИИ дальней радиосвязи (Москва)

НИИРТА – НИИ радиотехнической аппаратуры (Москва)

НТР - научно-техническая революция

ПЛИС - программируемая логическая интегральная схема

ПЛМ - програмируемая логическая матрица

ПМЛ - программируемая матричная логика

ППК - предполагаемый прямоугольник Карно

РОК - рабочий обобщённый код

СДНФ – совершенная дизъюнктивная нормальная форма

ТВАТ - Тушинский вечерний авиационный техникум (Москва)

Литература

1. Бояринцев В. АнтиЭйнштейн. Главный миф ХХ века. – М.: Яуза, 2005.

2. Гжегорчик А. Популярная логика. - М.:Наука,1979.

3. Катречко С. Л. Введение в логику. – М.: УРАО, 1997.

4. Кириллов В.И. Старченко А.А. Логика. - М.: Юрист,1995.

5. Кэрролл Л. История с узелками. - М.:Мир,1973.

6. Лобанов В.И. Решебник по Русской логике. – М.: Компания Спутник+, 2002 – 133с.

7. Лобанов В.И. Русская логика для школьников (и академиков). – М.: Эндемик, 2004 – 110 с.

8. Лобанов В.И. Русская вероятностная логика. – М.: «Русская Правда», 2009 – 320с.

9. Порецкий П.С. О способах решения логических равенств и об одном обратном способе математической логики. - Казань:1884.

10. Стяжкин Н.И.Формирование математической логики. - М: 1967.

11. Тейчман Д., Эванс К. Философия. - М.: Весь Мир,1997.

Оглавление

МИНИМУМ ПО РУССКОЙ ВЕРОЯТНОСТНОЙ ЛОГИКЕ.. 1

ПРЕДИСЛОВИЕ.. 2

ЧАСТЬ 1. 6

Глава первая. 6

КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ ЦЕПИ.. 6

1.1 Основные положения алгебры логики. 6

1.2. Синтез комбинационных схем.. 9

1.3. Минимизация полностью определённых булевых функций. 12

1.4.Оценка сложности реализации булевых функций. 15

1.5. Формы задания булевых функций. 16

1.6. Минимизация недоопределённых булевых функций. 18

1.7 Минимизация системы булевых функций. 19

ЧАСТЬ 2. 23

Базовые проблемы класической логики. 23

Глава первая. 23

Краткая история развития логики. 23

Глава вторая. Логика суждений. 29

2.1.Законы логики суждений.. 29

Алгоритм «Импульс». 29

Алгоритм «Импульс-С». 30

2.2. Практикум по логике суждений. 37

Глава третья. Силлогистика. 47

3.1. Силлогистика Аристотеля. 47

3.2. Введение математики в силлогистику. 48

Глава четвёртая. Вероятностная логика. 51

4.1. Вероятностные заключения. 51

Алгоритм «Алмаз» (синтез недостающей посылки). 53

4.2. Вероятностные посылки. 55

Глава пятая. Дисциплина мышления. 58

ЗАКЛЮЧЕНИЕ. 63

Краткий справочник по русской логике. 65

Алгоритмы Русской логики. 66

Перечень сокращений.. 71

Литература. 72

Оглавление. 73

12.09.2009

E-mail: [e-mail]

Дата добавления: 2015-07-11