- •Беспомощность классической логики
- •Ликбез по логике в России как проблема национальной безопасности
- •Недостатки и ошибки классической логики Аннотация
- •Алгоритм "Импульс".
- •Законы импликативных силлогизмов
- •Алгоритм "тват"(Тушинский вечерний авиационный техникум)
- •Литература
- •Логика Порецкого Аннотация
- •Алгоритм "Селигер"
- •Аксиоматика Порецкого
- •Алгоритм "Импульс"
- •Заключение
- •Литература
Литература
Кэрролл Л. История с узелками. - М.:Мир,1973.
Лобанов В.И. Инженерные методы разработки цифровых устройств. - М.: НИИРТА,1977.
Лобанов В.И. Метод минимизации булевых функций от большого числа переменных с помощью карт Карно. - Инф. листок N54-87,М: МособлЦНТИ,1987.
С. Л. Катречко. Введение в логику. Программа курса. - М.:УРАО, 1997.
Лобанов В.И. Базовые проблемы классической логики.//Современная логика:Проблемы теории,истории и применения в науке(Материалы VI Общероссийской научной конференции), СПбГУ, 2000 - с.499 - 504.
Лобанов В.И. Практикум по логике суждений. //Информатика и образование, №2,2001, с. 47-52.
Лобанов В.И. Кризис логики суждений и некоторые пути выхода из него.//Современная логика:проблемы теории,истории и применения в науке(Материалы V Общероссийской научной конференции)-Санкт-Петербург,1998.
Лобанов В.И. Синтез и минимизация комбинационных схем //Информатика и образование, N5,2000 , с. 60 -63.
Лобанов В. И. Фундамент искусственного интеллекта. //НТИ, сер. 2, Информационные процессы и системы, №5, 2000, с. 6-18.
Лобанов В.И. Многозначная силлогистика без кванторов.//НТИ,сер.2,Информ.процессы и системы,N10,1998,с.27-36.
Лобанов В.И. Силлогистика Аристотеля-Жергонна.//НТИ,сер.2,Информационные процессы и системы,N9,1999,с.11-27.
V. I. Lobanov.// Documentation and Mathematical Linguistics, vol. 32, №6 ,1999 (гонорар выплачен 4.11.2000).
V. I. Lobanov. The solution of logical equations. // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 16 - 27 .
V. I. Lobanov. Many-valued quantifier-free syllogism (second basis). // Documentation and Mathematical Linguistics, vol. 32, №5,1998, p. 40 - 60.
Лобанов В.И. Практикум по силлогистике . //Информатика и образование, №6, 2001, с. 42 - 47.
Лобанов В.И. Азбука разработчика цифровых устройств. - М.: Горячая линия - Телеком, 2001 - 192с.
Лобанов В.И. Инженерная логика. Часть 1. //НТИ, сер. 2, Информационные процессы и системы, №1,2001, с. 13-22.
Лобанов В.И. Инженерная логика. Часть 2. // НТИ, сер. 2, Информационные процессы и системы, №3,2001, с. 29 - 32.
Кириллов В.И. Старченко А.А. Логика. - М.: Юрист,1995.
Васильев Н.А. О частных суждениях. - Казань:Университет,1910.
Порецкий П.С. О способах решения логических равенств и об одном обратном способе математической логики. - Казань:1881.
Брусенцов Н.П. Начала информатики. - М: Фонд "Новое тысячелетие",1994.
Брусенцов Н. П. Полная система категорических силлогизмов Аристотеля. -В кн. Вычислительная техника и вопросы кибернетики . Вып.19. - М.: МГУ,1982.
Кулик Б.А. Логические основы здравого смысла. - СПб.:Политехника,1997.
Светлов В.А. Практическая логика. - СПб: Изд. Дом "МиМ",1997.
Рассел Б. История западной философии" - М.:2000 -768с.
Тейчман Д. , Эванс К. Философия. - М.: Весь Мир,1997.
Платон. Диалоги, том 2 - М.: Мысль, 2000.
Лобанов В.И. Решение логических уравнений. //Научно-техническая информация. Сер. 2. N%9, 1998, с. 40 - 46.
Лобанов В.И. Логика Порецкого.// НТИ, сер.2 ,Информационные процессы и системы, №9, 2001, с,25-31.