Geum.ru

Популяризаторские работы по Русской логике представлены на сайте

Вид материалаИзложение
Подобный материал:
1   ...   21   22   23   24   25   26   27   28   29

Литература




  1. Аристотель. Сочинения. В 4-х томах. Т.2- М.: Мысль,1978.
  2. Антонов А.П. Язык описания цифровых устройств AlteraHDL. – М.: 2001.
  3. Баранов С.И. Синтез микропрограммных автоматов. - Л.: Энергия,1974.
  4. Р.Дж.Беннетс. Проектирование тестопригодных логических схем. – М.: РиС, 1990.
  5. Берков В.Ф. «История логики».
  6. Брусенцов Н. П. Диаграммы Льюиса Кэрролла и аристотелева сил-логистика. -В кн. Выч. техника и вопросы кибернетики .Вып.13. - М.:МГУ,1977.
  7. Брусенцов Н.П. Начала информатики. - М: Фонд "Новое тысячелетие",1994.
  8. Брусенцов Н. П. Микрокомпьютеры. – М.:1985.
  9. Васильев Н.А.О частных суждениях. - Казань:Университет,1910.
  10. Войтов А. Г. Самоучитель мышления. – М.: 1999.
  11. Войтов А.Г. История и философия науки. – м.: 2004.
  12. Дм.Гаврилюк. Внутрисхемное программирование. // «Компоненты и технологии», №8, 2003г., с.114 - 117.
  13. Гжегорчик А. Популярная логика. - М.:Наука,1979.
  14. Гутников В.С. Интегральная электроника в измерительных приборах. - Л.:Энергия,1974.
  15. Катречко С. Л. Введение в логику. – М.: УРАО, 1997.
  16. Кириллов В.И. Старченко А.А. Логика. - М.: Юрист,1995.
  17. Кузина. Плюсы и минусы/ ВРФО, №3, 2002.
  18. Кулик Б.А. Логические основы здравого смысла. - СПб.:Политехника,1997.
  19. Кэрролл Л. История с узелками. - М.:Мир,1973.
  20. Левченков В.С. Булевы уравнения. – М.: 1999.
  21. Лейбниц Собрание сочинений в 4 томах. Том 3. – М.:1983
  22. Лобанов В.И. Инженерные методы разработки цифровых устройств. - М.: НИИРТА,1977 ( Шифр Центральной Политехнической Библиотеки - W145 4/231).
  23. Лобанов В.И. Метод минимизации булевых функций от большого числа переменных с помощью карт Карно. - Инф. Листок N54-87,М: МособлЦНТИ,1987.
  24. Лобанов В.И. Отказоустойчивый микроконтроллерный регулятор с программируемой структурой обработки данных. Диссертация на соискание ученой степени канд. техн. наук. - Харьков, ХПИ,1989.
  25. Лобанов В.И. Проектирование в САПР MAX+PLUS II. // Chip News,№5,2001г.,с. 66-71.
  26. Лобанов В.И. Технический минимум пользователя САПР MAX+PLUS II.//Chip News,№1,2001г.,с. 56-58.
  27. Лобанов В.И. Кризис логики суждений и некоторые пути выхода из него.//Современная логика: проблемы теории, истории и применения в науке (Материалы V Общероссийской научной конференции) - СПб: 1998.
  28. Лобанов В.И. Решение логических уравнений. //Научно-техническая информация. Сер. 2. N%9, 1998, с. 40 - 46.
  29. Лобанов В.И. Силлогистика Аристотеля-Жергонна. //НТИ, сер.2, Информационные процессы и системы, N9, 1999, с. 11 - 27.
  30. Лобанов В.И. Базовые проблемы классической логики.//Современная логика:Проблемы теории,истории и применения в науке(Материалы VI Общероссийской научной конференции), СПбГУ, 2000 — с.499 — 504.
  31. Лобанов В.И. Синтез и минимизация комбинационных схем//Информатика и образование,N5,2000, стр. 60 – 63.
  32. V. I. Lobanov. The solution of logical equations. // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 16 – 27 .
  33. V. I. Lobanov. Many-valued quantifier-free syllogism (second basis). // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 40 – 60 (гонорар выплачен 4.11.2000).
  34. Лобанов В.И. Заметки о проектировании современных цифровых систем управления на отечественной элементной базе. // Chip News, №3, 2003 г. , с. 36-43.
  35. Лобанов В.И. Практикум по силлогистике . //Информатика и образование, №5,2001.
  36. Лобанов В.И. Решебник по Русской логике. – М.: Компания Спутник+, 2002 – 133с.
  37. Лобанов В.И. Азбука разработчика цифровых устройств. – М.: Горячая линия – Телеком, 2001 – 192с.
  38. Лобанов В.И. Русская логика против классической (азбука математический логики). – М.: Компания Спутник+, 2002 – 126с.
  39. Лобанов В.И. Русская логика против классической. //Рационализм и культура на пороге третьего тысячелетия(материалы Третьего Российского философского конгресса),том 1, стр.278, г.Ростов-на-Дону, 2002.
  40. Лобанов В.И. Математическое мышление и Русская логика. // Научная сессия МИФИ-2003, том 1, стр. 188 – 189.
  41. Лобанов В.И. Беспомощность классической логики. // Естественные и технические науки, №3, 2002 г., стр. 22 – 23.
  42. Лобанов В.И. Русская логика для школьников и академиков. - М.:2004 – 110с.
  43. Логический подход к искусственному интеллекту. - М.:Мир,1990.
  44. Непейвода Н.Н. Прикладная логика. - Ижевск: Удмурт.университет,1997.
  45. Платон. Диалоги. – М.: Мысль, 2000.
  46. Порецкий П.С. О способах решения логических равенств и об одном обратном способе математической логики. - Казань:1884.
  47. Порецкий П.С. Решение общей задачи теории вероятностей при помощи математической логики. – Казань:1886.
  48. Светлов В.А. Практическая логика. - СПб: Изд. Дом »МиМ»,1997.
  49. Семёнов и др. Микропрограммный автомат на базе специализированных БИС// Chip News, N7, 2000, c.51-53.
  50. Смаллиан Р.М. Принцесса или тигр? – М.:1985.
  51. Стешенко В.Б. ПЛИС фирмы ALTERA: проектирование устройств обра­ботки сигналов. – М.:2000.
  52. Стяжкин Н.И. Формирование математической логики. - М: 1967.
  53. Тейчман Д. , Эванс К. Философия. - М.: Весь Мир,1997.
  54. Дж.Уэйкерли. Проектирование цифровых устройств,том 2. – М.:Постмаркет, 2002.
  55. Шачнев В.А. Математическая логика. - М: 1991.
  56. Шестаков В.И. Некоторые математические методы конструирования и упрощения двухполюсных схем класса А. Диссертация на соискание ученой степени канд. физ. - мат. наук. - М.:МГУ,1938.

Оглавление.

РУССКАЯ ЛОГИКА ДЛЯ «ФИЗИКОВ» И «ЛИРИКОВ» 3

ЧАСТЬ 1. Букварь разработчика цифровых устройств. 7

Практика инженерной логики. 7

Глава первая 7

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

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

Алгебра множеств. 9

1.2 Разновидности логических интегральных схем ( ИС ) 11

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

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

1.5.Карты Карно для 7, 8, 9 и 10 переменных. 16

Алгоритм «НИИРТА» графической минимизации булевых функций. 22

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

1.7. Анализ комбинационных схем . 24

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

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

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

Глава вторая 35

МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ МЕТОДОМ ОБОБЩЁННЫХ КОДОВ 35

2.1. Общий алгоритм определения МОК. 36

2.2. Алгоритм соседнего определения базы МОК (алгоритм Мавренкова). 41

2.3. Выводы. 49

Глава третья. 51

Триггеры 51

3.1 SR- триггеры. 51

3.2 D- триггеры. 54

3.3 . JK- триггеры. 55

3.4 Анализ работы схем с памятью 56

Глава четвёртая 58

РЕГИСТРЫ И СЧЁТЧИКИ 58

4.1 Регистры памяти. 58

4..2. Регистры сдвига. 58

4..3. Двоичные счётчики. 60

4.4 . Десятичные счётчики. 62

4.5. Элементная база для построения счётчиков. 64

Глава пятая 65

СИНТЕЗ СЧЁТЧИКОВ 65

5.1 Синтез счётчиков с использованием установочных входов. 65

5.2 Синтез счётчиков с использованием управляющих входов. 68

5.3. Реверсивные счётчики 75

5.4.Распределители импульсов. 78

5. 5. Cчётчики на сдвиговых регистрах. 80

Глава шестая. 85

КОНЕЧНЫЕ АВТОМАТЫ. 85

6.1 Понятие о конечном автомате. Автоматы Мили и Мура. 85

6.2. Методы задания автоматов. ГСА. 87

6.3. Синтез конечных автоматов. 89

6.4 Кодирование состояний и сложность комбинационной схемы. 94

6.5 . Гонки и противогоночное кодирование. 98

6. 6. Синтез релейных автоматов. 112

6.7.Синтез ГСА по функциям возбуждения. 116

Глава седьмая 118

МИКРОКОНТРОЛЛЕРЫ 118

7.1. Простой промышленный микроконтроллер 118

7.2. Микропроцессорная техника. 122

7.3. Отладочные средства. 139

7.4. Средства контроля и диагностики. 147

7.5. Синтез проверяющих тестов для комбинационных схем. 150

Глава восьмая 155

ПРОЕКТИРОВАНИЕ МПА НА БАЗЕ ПЛИС. 155

8.1. ОПТИМАЛЬНОЕ ПРОЕКТИРОВАНИЕ ЦИФРОВЫХ СИСТЕМ УПРАВЛЕНИЯ. 155

Частотный детектор. 155

Фазовый детектор. 159

Приёмопередатчик RS-485. 165

Телевизионный генератор испытательных сигналов. 173

КДУ. 174

Телевизионный цифровой синхрогенератор. 176

Синтезатор частоты. 183

Особенности создания проекта для БМК. 185

8.2. О недостатках САПР MAX+PLUS II. 192

8.3. О повышении технического уровня отечественных разработок. 210

Уровень современных разработок и элементная база: ПЛИС, сигнальные процессоры и отечественные аналоги. 212

Проблемы проектирования современных цифровых систем управления. 215

Заключение. 233

ЧАСТЬ 2. Русская логика (азбука математической логики) 235

ВВЕДЕНИЕ 235

Глава первая 240

1.1. Решение логических уравнений. 243

1.2. Алгоритм «Селигер» (решение системы логических уравнений) 251

1.3. Решение системы логических уравнений. 252

Алгоритм «НИИДАР» решения системы логических уравнений. 253

1.4. Равносильные преобразования. 254

1.5. Отыскание обратных функций. 259

X 262

X 263

X 264

X 265

X 266

X 266

X 267

X 268

X 269

X 269

X 270

X 271

X 272

X 273

X 274

X 274

Глава вторая 279

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

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

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

Глава третья 297

Базисы силлогистики. 297

3.1. Все x суть y(Axy). 302

3.2. Ни один x не есть y(Exy). 305

3.3. Некоторые x суть y. 306

Глава четвёртая 314

Силлогистика Аристотеля - Жергонна. 314

4.1. Алгоритм "Осташ-Т" (тест) 316

4.2. Алгоритм «ТВАТ» (графический синтез силлогизмов). 317

4.3. Алгоритм «РЕДАН» (синтез недостающей посылки). 317

4.4. Алгоритм "ИЭИ "(синтез заключения) 321

4.4. Ошибки Аристотеля. 329

Заключение 334

Глава пятая 335

Русская силлогистика. 335

Заключение 343

Глава шестая 344

Общеразговорная силлогистика. 344

Заключение 357

Глава седьмая 358

Атомарная силлогистика. 358

7.1. Практикум по силлогистике. 364

7.2. Практикум по решению соритов. 374

Алгоритм «Осташков» 374

Глава восьмая 386

Естественный вывод и кванторы. 386

Глава девятая 391

Логика П.С.Порецкого. 391

Глава десятая 395

Логика Л.Кэрролла. 395

Глава одиннадцатая 401

Вероятностная логика. 401

X 401

X 402

X 402

M 408

Глава двенадцатая 410

Дисциплина мышления. 410

Литература 423