Список публикаций

Алгоритмы.

Базис Аристотеля-Жергонна.

Базис Васильева.

Русский базис

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

Варианты частноутвердительного силлогистического функтора Ixy.

1. Ixy = Ixy || Ayx || Axy = xy+x'y'+i(xy'+x'y) (Ixy)' = j(xy'+x'y)2. Ixy = Ixy || Ax'y = x+y+ix'y' (Ixy)' = jx'y'3. Ixy = Ixy || Axy || Ayx || Ax'y || (x=y) = xy+i(x'+y') (Ixy)' = j(x'+y')4. Ixy = Ixy || Ayx = x+y'+ix'y (Ixy)' = jx'y5. Ixy = Ixy || Ayx || Ax'y = x+ix' (Ixy)' = jx'6. Ixy = Ax'y = Ay'x = Ex'y' = x+y (Ixy)' = x'y'7. Ixy = Ixy || Axy || Ax'y = y+iy' Oxy = jy'8. Функтор Васильева представлен диаграммами Лобанова. x ======---- y --======-- Ixy = 1

Любой базис может быть представлен с помощью атомарного базиса,состоящего всего из двух функторов: Axy = x'+y, Ixy = x+y+x'y' = 1

Axy(2) = Axy = x'+yExy(2) = Axy' = x'+y'Ixy(2) = Ixy || Ax'y = x+y+ix'y'Axy(8) = Axy = x'+y = Exy'Exy(8) = Axy' = x'+y' = Axy' = Ayx' = EyxIxy(8) = Ixy = x+y+x'y' = 1 = Ix'y' = Ix'y = Ixy' = Iyx = Iyx' = Iy'x = Iy'x'Axy(3) = Axy || (x=y) = xy+x'y'+ix'yExy(3) = Axy' = x'+y'Ixy(3) = Ixy || Ax'y || Axy || Ayx || (x=y) = xy+i(x'+y')Oxy(3) = Ixy || Ax'y || Axy' || Ayx = xy'+i(x'+y) = Ixy'(3)"Импульс" - анализ законов логики суждений."Импульс-С" - синтез законов логики суждений."ИЭИ" - аналитический синтез силлогизмов. "НИИРТА" - минимизация логических функций по картам Карно."Осташ" - универсальный синтез силлогизмов."Осташков" - синтез полисиллогизмов."РЕДАН" - графический синтез недостающей посылки."Селигер" - решение логических уравнений."Суздаль" - графический синтез соритов."ТВАТ" - графический синтез силлогизмов.

1. Лобанов В. И. Инженерные методы разработки цифровых устройств. - М:НИИРТА, 1977(шифр Центр. Политехн. Библиотеки - W145 4/231)(шифр библ. НИИРТА –-507/Л68).
2. Лобанов В. И., Федулов А. И., Иванов Л. Н. Применение микропроцессоров в бытовой радиоприемной аппаратуре. //Радиотехника, 1983, N1.
3. Иванов В. И., Лобанов В. И., Митрофанов А. В. Отладочные средства для малоразрядных однокристальных микро-ЭВМ. //Микропроцессорные средства и системы, 1984, N2, с. 42_46.
4. Лобанов В. И., Мальков В. А. Аппаратное отладочное устройство для малоразрядной микро-ЭВМ. //Электронная промышленность, 1986, вып. 2, с. 52_53.
5. Лобанов В. И. Архитектура некоторых типов отладочных средств для микроконтроллера. //Микропроцессорные средства и системы, 1986, N3, с. 30_31.
6. Лобанов В. И. Метод минимизации булевых функций от большого числа переменных с помощью карт Карно. // Инф. листок №54_87, МособлЦНТИ, 1987.
7. Лобанов В. И. Отладочные устройства для микропроцессоров и микро-ЭВМ. //Микроэлектроника, 1986, сер. 3, вып. 1(226), с. 56_57.
8. Лобанов В. И., Митрофанов А. В. Применение микропроцессоров серии К580 в бытовой радиоприемной аппаратуре. //Тезисы докладов Всесоюзного совещания?Повышение качества БРЭА на основе широкого внедрения микроэлектроники? _ М.: Радио и связь, 1982, с. 13_14.
9. Лобанов В. И. Электронный регулятор на базе микро-ЭВМ //Микропроцессоры в системах контроля и управления(тезисы докладов) _ Пенза:1986, с. 67_68.
10. Лобанов В. И. Об одном методе синтеза распределителей импульсов //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. - М.:1987, вып. 4, уч. N60
11. Лобанов В. И. Синтез делителей частоты с дробным коэффициентом деления. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. - М.:1987, вып. 4, уч. N60, с28_29.
12. Лобанов В. И. Синтез делителей частоты со скважностью 2. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве. М.:1987, вып. 4, уч. N60, с29_30.
13. Лобанов В. И. Отладочные средства для микропроцессоров и микро-ЭВМ. //Тезисы докладов конференций, сер. 3, Микропроцессорные средства вычислительной техники и их применение в народном хозяйстве., 1986, вып. 1, уч. N72, с. 56_57.
14. Гутовец Н. И., Жданов В. И., Колодяжный В. Н., Лобанов В. И., Митрофанов А. В. Автономные обучающие устройства для отладки микроконтроллеров. //Электронная промышленность, 1986, вып. 9(157), с. 8_10.
15. Айзман М. И., Лобанов В. И., Митрофанов А. В., Черняков М. С., Широков А. Н. Микропроцессорная система контроля таксофонов. //Микропроцессорные средства и системы, 1988, N2, с. 91_93.
16. Дербунович Л. В., Лобанов В. И. Диагностические процессоры в системах управления технологическим оборудованием. //Энергетика. Известия вузов, 1988, N9, с. 87_88.
17. А. с. №1242910(СССР). Импульсное регулирующее устройство/Коровин Н. И., Лобанов В. И. _ Открытия, изобретения, 1986, N20.
18. А. с. №758105(СССР). Устройство контроля и защиты источников питания/Лобанов В. И. _ Открытия, изобретения, 1980, N31.
19. А. с. №746942(СССР). Делитель частоты/Лобанов В. И. _ Открытия, изобретения, 1980, N25.
20. А. с. №744973(СССР). Преобразователь код-фаза/Лобанов В. И., Столяров А. М. _ Открытия, изобретения, 1980, N24.
21. А. с. №1434439(СССР). Устройство для контроля выполнения программ // Антосик В. В.,..., Лобанов В. И.,... _ Открытия, изобретения, 1988, N40.
22. Лобанов В. И. Отказоустойчивый микроконтроллерный регулятор с программируемой структурой обработки данных/Автореферат диссертации на соискание ученой степени кандидата технических наук _ Харьков, 1989.
23. А. с. №523(Роспатент) на полезную модель ”Адаптируемое устройство для отладки микроконтроллеров” от 16. 06. 1995 //Держатель патента Лобанов В. И.
24. Лобанов В. И. Кризис логики суждений и некоторые пути выхода из него. //Современная логика: проблемы теории, истории и применения в науке(Материалы V Общероссийской научной конференции)-Санкт-Петербург, 1998, стр. 190 - 193.
25. Лобанов В. И. Решение логических уравнений. //Научно-техническая информация, сер. 2, Информационные процессы и системы, N9, 1998, с. 34-40.
26. Лобанов В. И. Адаптируемая отладочная система для проектирования микроконтроллеров. //Приборы и системы управления, N7, 1998, с. 60-62
27. Лобанов В. И. Многозначная силлогистика без кванторов. //НТИ, сер. 2, Информ. процессы и системы, N10, 1998, с. 27-36.
28. Лобанов В. И. Силлогистика Аристотеля-Жергонна. //НТИ, сер. 2, Информационные процессы и системы, N9, 1999, с. 11-27.
29. Лобанов В. И. Фундамент искусственного интеллекта. // НТИ, сер. 2, Информационные процессы и системы, №5, 2000, с. 6 - 18.
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. V. I. Lobanov. // Documentation and Mathematical Linguistics, vol. 32, №6, 1999 (гонорар выплачен 4. 11. 2000).
35. Лобанов В. И. Инженерная логика. Часть 1. //НТИ, сер. 2, Информационные процессы и системы, №1, 2001, с. 13-22.
36. Лобанов В. И. Технический минимум пользователя САПР MAX+PLUS II. //Chip News, №1, 2001г., с. 56-58.
37. Лобанов В. И. Практикум по логике суждений. //Информатика и образование, №2, 2001, с. 47-52.
38. Лобанов В. И. Практикум по силлогистике. //Информатика и образование, №6, 2001, с. 42 - 47.
39. Лобанов В. И. Азбука разработчика цифровых устройств. – М.: Горячая линия – Телеком, 2001 – 192с. (шифр ЦПТБ W148 6 | 261)
40. Лобанов В. И. Проектирование в САПР MAX+PLUS II. // Chip News, №5, 2001г., с. 66-71.
41. Лобанов В. И. Инженерная логика. Часть 2. // НТИ, сер. 2, Информационные процессы и системы, №3, 2001, с. 29 – 32.
42. Лобанов В. И. Логика в школе. //ИТО-2001. Информационные технологии в образовании. Секция 1. 2 – М.: 2001г. (http: //ito. edu. ru.).
43. Лобанов В. И. Логика Порецкого. // НТИ, сер. 2, Информационные процессы и системы, №9, 2001, с, 25-31.
44. Лобанов В. И. Русская силлогистика. // Информатика и образование, №4, 2002, с. 41 - 46.
45. Лобанов В. И. Русская логика. // http: //www. saslib. ru/ref/arh/25/HAI-0401/Index. txt, 21. 05. 2001.
46. Лобанов Владимир Иванович. "Семантическая логика Лобанова". // Программа XII международного симпозиума “Перестройка естествознания в III тысячелетии. Раздел 4. “Информационные, энергетические и экологические проблемы жизнеобеспечения и безопасности землян”. http: //mirit. narod. ru/program/0012. htm - 33К - 04. 07. 2001
47. Лобанов В. И. Компьютерные уроки с элементами логики в начальной школе. // http: //www. bitpro. ru/ITO/2001/ito/I. html, 29. 11. 2001.
48. Лобанов В. И. Русская логика для инженеров // НТИ, сер. 2, Информационные процессы и системы, №8, 2002, с. 24-30.
49. Сайты в Internet: http: //ruslogic. narod. ru, http: //ruslogic. by. ru.
50. Лобанов В. И. Русская логика против классической. //Рационализм и культура на пороге третьего тысячелетия(материалы Третьего Российского философского конгресса), том 1, стр. 278, г. Ростов-на-Дону, 2002.
51. Лобанов В. И. Русская логика против классической (азбука математический логики). – М.: Компания Спутник+, 2002 – 126с.
52. Лобанов В. И. Решебник по Русской логике. – М.: Компания Спутник+, 2002 – 133с.
53. Лобанов В. И. Русская логика – инструмент науки XXI века. // Научная сессия МИФИ-2002, том 1, стр. 204-205.
54. Лобанов В. И. Математическое мышление и Русская логика. // Научная сессия МИФИ-2003, том 1, стр. 188 – 189.
55. Лобанов В. И. Беспомощность классической логики. // Естественные и технические науки, №3, 2002 г., стр. 22 – 23.
56. Лобанов В. И. Заметки о проектировании современных цифровых систем управления на отечественной элементной базе. // Chip News, №3, 2003 г., с. 36-43.
57. Лобанов В. И. Об особенностях проектирования цифровых систем на отечественных БМК. // Chip News, №2, 2004 г., стр. 45-47.
58. Лобанов В. И. Логика в высших учебных заведениях. // Актуальные проблемы современной науки, №3, 2004, стр. 136-139.
59. Лобанов В. И. Ошибки Аристотеля. //Современная логика: проблемы теории, истории и применения в науке (Материалы VIII Общероссийской научной конференции)-Санкт-Петербург, 2004, стр. 275 - 279.
60. Лобанов В. И. Русская логика просит работы. // Экономическая и философская газета, № 35(515), 2004.

Дата добавления: 2015-05-08