Русская логика – индикатор интеллекта (стр. 13 )

Удручает не только невежество нынешнего поколения, но и отсутствие тяги к знаниям. Если студенты первого курса МГТУ им. Баумана проявили повышеный интерес к РЛ, то старшекурсники считают, что им не нужна математическая логика. Вполне вероятно, что эти студенты поступили в технический вуз ради отсрочки от армии. Такое положение печально для русской инженерии.

В нашей стране молодёжи усиленно прививается культ наживы. У русских же всегда в чести был один принцип: «Не в деньгах счастье». Это древний арийский принцип. Его исповедовали Русы и древние греки. А теперь молодые инженеры и учёные бегут за длинным рублём к нашему «вероятному противнику», предают Россию. Это то же самое, что бросить родную Мать на смертном одре. В связи с отсутствием интеллекта нынешнее поколение даже не понимает, какое чудовищное преступление оно совершает. Настоящие инженеры и учёные никогда не покидали Россию из-за меркантильных соображений.

Безмозглость молодёжи подтверждается отсутствием критического отношения к антирусской «культуре». Молодёжь не умеет ни танцевать, ни петь песни. Ни одного русского танца не увидишь на улице, ни одной русской песни не услышишь на Арбате, да и во всей Москве. Западные «танцы» современной молодёжи напоминают отвратительные корявые акробатические номера. Не воспитывается красота движений, пластика, вкус к изящному. Да и зачем они хилой молодёжи с «впуклой» грудью и весьма выпуклым животом. У читающей, «продвинутой» молодёжи в моде лишь англоязычные авторы. Но ведь английский – язык дебилов. Прежде, чем приниматься за западную литературу, нужно прочесть и понять всего Пушкина, Лермонтова, Гоголя, Толстого, Достоевского, Шолохова и других русских и советских поэтов и писателей-патриотов. Русский язык и Русская литература – это душа народа. Молодёжный сленг – признак бескультурья и дебильности: калечишь Русский язык – уничтожаешь душу России. Пока жив язык, жива и нация. Бережно хранить, уважать и ценить Русский язык, не засорять его зарубежной и псевдонаучной терминологией. Как только я слышу слова «толерантность», «консенсус» или что-либо подобное, то я сразу определяю оратора как круглого дурака, полного невежду и неуча, у которого нет ни одной собственной мысли.

НЕ нашли? Не то? Что вы ищете?

Всем поколениям нужно изучить истинную историю Руси по трудам Ломоносова и Татищева, а также по работам современных историков-патриотов. Обязательно прочесть все работы по истории Великой Отечественной войны как советских историков и военачальников, так и мемуары немецких солдат и генералов. Это в какой-то степени компенсирует безмозглость нынешнего молодого поколения и историческую безграмотность всего населения России.

Ликвидируется опять-таки целенаправленно советское и русское образование. Навыпускали толпы бухгалтеров, безмозглые орды «успешных менеджеров», безголовых дармоедов политологов, адвокатов, "сыновей юристов" и прочих болтунов. Нет инженеров и учёных, нет математиков. Некому создавать современное оружие для защиты России от внешних и внутренних врагов. Все мы живы сейчас только потому, что советские инженеры и учёные сформировали надёжный ракетно-ядерный щит СССР и России. Современное поколение не сотворит ничего подобного: нет ресурсов, нет знаний, нет советской самоотверженности. Уничтожены образование, наука, промышленность, оборонный комплекс и армия. Во главе армии поставлен «Маршал Табуреткин», «штафирка»-мебельщик Сердюков – недоумок, невежда, самодур и абсолютный профан в военном деле, из армии изгоняются настоящие профессионалы, истинные офицеры России. Проводится откровенно предательская политика. Возглавлять армию должны лишь военные профессионалы-патриоты. Управлять державой должны патриоты-технократы, т. е. инженеры и учёные, а не безграмотные и невежественные болтуны, ворюги, жулики, взяточники и предатели. Даже русофобская радиостанция «Эхо Москвы» в конце июня 2012г. возопила о нехватке инженеров и низком качестве подготовки молодых специалистов. Математику в школах и вузах уничтожили в связи с переходом на «болонкино образование» (Болонская конвенция). А именно математика является фундаментом государства. Это понимали шумеры, это было известно в Египте и Древней Греции. Платоном было написано сочинение «Государство», которое изучается философами, политологами и экономистами более 25 веков. При входе в Академию Платона была надпись: « Негеометр – да не войдёт». Так высоко ценил величайший мыслитель математику. Это понимали и Иван Грозный, и Пётр Первый, и все остальные Российские императоры. Более всех ценил науку (а без математики нет науки) и армию Сталин. Поэтому при нём слова «офицер» и «инженер» звучали гордо. Гордо звучало и название Державы: Союз Советских Социалистических Республик (СССР). Нынешняя «Наша Раша» - это издевательство над Русскими, которое вызывает лишь довольные ухмылки отпетых русофобов и «пятой колонны». Возрождение России начнётся с возрождения армии, образования, инженерии и науки. Все остальные «реорганизации», «модернизации» и пр. являются просто болтовнёй и оголтелой демагогией.

Очередная провокация русофобов – расплодившиеся фанатские клубы. Мало того, что фанаты ведут себя по-свински в общественных местах, орут и матерятся в присутствии женщин и детей, так они ещё и лупят друг друга (русские – русских) в фанатских разборках. Этого только и добиваются представители гнилой «пятой колонны». Даже Гитлер не мечтал о таких достижениях в деле разобщения русских. Фанаты, объединитесь и направьте свои силы и свой интеллект на защиту России и русского населения!

Заключение.

Подводя итог вышеизложенному, необходимо отметить следующее. Никакое образование немыслимо без изучения логики. Этот предмет в качестве основного впервые ввёл в гимназиях и Академии великий русский учёный . С тех пор логику в обязательном порядке изучали в гимназиях России и по указанию Сталина в гг. в школах СССР. В связи с этим удивляют безграмотность и бестолковость современных логиков.

Перечислим основные недостатки классической логики.

1. Классическая логика никак не может понять, что нет кванторного исчисления, а есть кванторная мнемоника.

2. Классические логики ввели алгебру множеств, не понимая, что её функции выполняет алгебра логики.

3. «Классики» до сих пор не поняли, что логика суждений и логика предикатов – синонимы.

4. Классическая логика не использует минимизацию логических функций с помощью карт Карно, в том числе и в связи с незнанием алгоритмов, разработанных автором. Карты Карно – необходимейший и обязательный инструмент логика.

5. Классическая логика проявляет невежество при доказательстве законов логики суждений, поскольку не применяет аналитических методов, что катастрофически сужает круг рассматриваемых задач.

6. Отсутствие аналитического представления силлогистических функторов лишает фундамента логику предикатов.

7. Все законы и правила силлогистики либо некорректны, либо никчёмны по своей сути, поскольку в них не учитывается влияние универсума и конкретного содержания терминов.

8. Все фигуры и модусы силлогистики никчёмны, поскольку нельзя анализировать и синтезировать силлогизмы в общем виде без рассмотрения конкретного базиса, универсума и содержания каждого термина.

9. Классическая силлогистика оперирует лишь функторами Axy, Exy, Ixy, Oxy и не охватывает подавляющее большинство суждений любого другого типа.

10. Функтор Oxy является не только лишним, но и некорректным.

11. В классической логике до сих пор не решена проблема единичного множества.

12. Нет окончательного результата в проблеме решения логических уравнений и в синтезе обратных логических функций.

13. Искореняется всякое мышление.

14. В связи с вышеизложенным студенты и преподаватели обречены на унылую бестолковую зубрёжку и не умеют решать серьёзные задачи логики.

Приведём основные результаты, полученные при создании Русской логики.

1. Создана графическая алгебра логики [29].

2. Впервые обнаружены и доказаны связи эквивалентности и неравнозначности для любого числа аргументов.

3. Разработаны графические методы минимизации логических функций для большого числа аргументов с помощью карт Карно (алгоритм «НИИРТА») [13].

4. Создана 4-значная комплементарная логика и её алгебра с методами минимизации комплементарных функций [17].

5. Впервые дан анализ ошибок при решении логических уравнений.

6. Разработаны простые методы решения логических уравнений (алгоритм «Селигер») на основе комплементарной логики [17].

7. Разработан метод проверки решений логических уравнений, построенный на восстановлении полной единицы системы М на основе функции равнозначности.

8. Применение алгоритма «Селигер-С» при выводе обратных логических функций показало, что однозначное решение для двоичных аргументов может быть получено лишь в комплементарной логике [17].

9. Впервые получены все 16 обратных логических функций для двух аргументов, в том числе функции логического вычитания и деления [27].

10. Комплементарная логика при аппаратной реализации позволяет значительно упростить решение проблемы самодиагностирования вычислительной техники: например, появление j на любом выходе может свидетельствовать о сбое или отказе [26].

11. Синтезированы методы нахождения парных термов для равносильных преобразований логических равенств [26].

12. Предложен простой математический метод анализа и синтеза законов логики суждений (алгоритм «Импульс») [28].

13. Предложены скалярные диаграммы, позволившие формализовать силлогистику и дать графическую интерпретацию алгебры логики [19].

14. Впервые создан аналитический базис силлогистики и определены его разновидности: русский, аристотелевский, базис Васильева и т. д. [18]

15. Впервые показано, что даже общие суждения имеют неоднозначную структуру и аналитическое описание [16].

16. Впервые представлено все многообразие базиса частноутвердительного суждения и дано его аналитическое представление [28].

17. Впервые найдены аналитические выражения для всех частноутвердительных суждений, удовлетворяющих критерию Васильева [29].

18. Предложен простой и надежный способ графической и аналитической проверки силлогизмов и синтеза заключений для любых базисов (алгоритмы «Осташ», «ИЭИ» и «ТВАТ») [27].

19. Применение предложенного метода избавляет от необходимости запоминания множества логических правил и законов.

20. Русская логика оперирует не только функторами Axy, Exy, Ixy, но и суждениями любого типа [24].

21. Впервые аналитически описан базис логики Аристотеля-Жергонна. Впервые на основе базиса Аристотеля-Жергонна разработана силлогистика, существенно отличающаяся от классической [27].

22. Впервые проверены все 64 модуса силлогистики Аристотеля-Жергонна. Доказано, что многие «правильные» модусы Аристотеля, в том числе и модус AAI 4-й фигуры, не корректны [18].

23. Впервые доказано, что силлогистика Аристотеля-Жергонна не укладывается в прокрустово ложе 19 «правильных» модусов [18].

24. Разработаны графоаналитический алгоритм «Осташков» синтеза полисиллогизмов и графический алгоритм «Суздаль» синтеза соритов [29].

25. Разработан графический алгоритм «Редан» синтеза недостающей посылки.

26. Доказано, что ни силлогистика Аристотеля, ни силлогистика Аристотеля-Жергонна не имеют никакого отношения к логике здравого смысла [30].

27. Впервые обнаружена и учтена при синтезе силлогизмов зависимость заключения от объёма универсума и содержания терминов [29].

28. Впервые решена проблема единичного множества в силлогистике [19].

29. Доказано, что все 4 классических правила посылок ошибочны [29].

30. Показано, что фигуры и модусы не имеют смысла, поскольку не учитывают универсум и конкретное содержание посылок [31].

31. Отмечено, что аналитическое представление силлогистических функторов Axy, Exy впервые дано русским логиком , чего до сих пор не поняла мировая наука [29].

32. Показано, что общеразговорная логика не является двоичной [17].

33. Впервые показано, что вся силлогистика является вероятностной, поскольку, как правило, заключения получаются многовариантными [31].

34. Разработаны методы определения вероятностных характеристик многовариантных заключений [31].

35. Впервые разработана алгебра шестизначной комплементарной логики.

36. Впервые доказано, что вся современная логика после Порецкого невежественна, безграмотна и безмозгла.

37. Впервые создана истинно математическая логика, новая наука, о которой мечтал и над которой всю жизнь безуспешно работал Лейбниц, самый выдающийся математик Запада.

38. Создана эффективная и объективная система оценки интеллекта, которую можно использовать при подборе научных руководящих кадров.

39. Совершена первая научная, а не обычная научно-техническая революция: учёные впервые получили инструмент для интеллектуальных исследований.

40. Впервые доказано, что всех академиков нужно сажать за парту в начальной школе вместе с четвероклассниками.

Подводя итог, нельзя не придти к выводу, что впервые в мире создана истинно математическая логика, не противоречащая здравому смыслу. Фактически родилась совершенно новая наука, сделан первый шаг в осуществлении именно научной, а не просто очередной научно-технической революции, поскольку созданы предпосылки для рационализации труда учёных. Впервые в мире реализованы мечты Аристотеля и Лейбница. Их чаяния воплощены в России. Работы автора отмечены за рубежом: Американский Биографический институт избрал автора Человеком года-2011.

13 ноября 2003г. автор выступил с докладом « Ликбез по логике в России как проблема национальной безопасности» перед ректорами ведущих вузов Москвы на постоянно действующем научно-методологическом семинаре «Круглый стол по военной безопасности» при Комитете по обороне Госдумы РФ. В результате «Круглый стол» так сформулировал первоочередные задачи в отношении логики: «…необходимо ликвидировать логическую необразованность всего российского общества в целом так же, как в начале 20-го века была ликвидирована начальная неграмотность в Советской России». Никакого продвижения с тех пор в этом направлении не произошло.

Требуется безотлагательное внедрение Русской логики в школьное и вузовское преподавание для искоренения недостатков и грубейших ошибок классической логики, чтобы школьники не смеялись над академиками, а также в связи с тем, что логика составляет фундамент искусственного интеллекта, главного стратегического научного направления 3-го тысячелетия, по уровню развития которого судят о научном потенциале державы. Россия вновь может вернуть себе мировое лидерство в одной из самых важных математических наук.

Перечень предлагаемых мероприятий по внедрению математической логики в образование:

1. Чтение авторских лекций на курсах повышения квалификации преподавателей высшей и средней школы.

2. Издание учебников и учебных пособий в авторской редакции по Русской логике.

3. Публикация цикла статей по математической логике в общеобразовательных журналах.

4. Проведение цикла телепередач на канале «Культура».

5. Проведение международных логических олимпиад по решению задач , Л. Кэрролла, Катречко и др. авторов.

6. Введение изучения Русской (математической) логики в средней школе, во всех технических и гуманитарных вузах, а также в системе среднего специального образования.

В заключение хочется сказать: русскому человеку стыдно не знать Русскую логику, стыдно быть невеждой и неучем.

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

Варианты силлогистического функтора 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'y

5.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'

(Ixy)' = jy'

8.Функтор Васильева изображен на рисунке.

Ixy = 1

(Ixy)’ = 0

Любой базис может быть представлен с помощью атомарного базиса, состоящего всего из двух функторов:

Axy = x'+y,

Ixy = x+y+x'y' = 1

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

Axy(2) = Axy = x'+y

Exy(2) = Axy' = x'+y'

Ixy(2) = Ixy || Ax'y = x+y+ixy'

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

Axy(8) = Axy = x'+y

Exy(8) = Axy' = x'+y'

Ixy(8) = Ixy = x+y+x'y' = 1

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

Axy(3) = Axy || (x=y) = xy+x'y'+ix'y

Exy(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)

Алгоритмы.

«Волга» - решение уравнений в двоичной логике.

«Импульс» - анализ законов логики суждений.

«Импульс-С» – синтез законов логики суждений.

«ИЭИ» - аналитический синтез силлогизмов.

«Комета» - вероятностный графический синтез недостающей посылки.

«НИИДАР» - графическое представление силлогизма по М.

«НИИРТА» – минимизация логических функций по картам Карно.

«ОМТ» - аналитическое нахождение исходных посылок сорита.

«Осташ-Т» - аналитическая проверка заключения

«Осташ-С» - аналитический синтез заключения

«Осташков» - синтез полисиллогизмов.

«РЕДАН» – графический синтез недостающей посылки.

«Селигер» – решение логических уравнений в 4-значной логике.

«Селигер-С» синтез обратных функций.

«Суздаль» – графический синтез соритов.

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

«Циклон» - синтез многовариантных силлогизмов.

Алгоритм «Волга» решения уравнений в двоичной логике.

1. Привести систему уравнений к нулевому виду.

2. Заполнить карту Карно нулями в соответствии с термами левых частей исходной системы уравнений, а в оставшиеся клетки вписать единицы. Эти единичные термы представляют собой СДНФ полной единицы системы.

3. Произвести минимизацию совокупности единичных термов. Полученное соотношение представляет минимальную дизъюнктивную нормальную форму (МДНФ) уравнения полной единицы системы.

4. Построить сокращённую (только для единичных термов) таблицу истинности уравнения полной единицы и выписать из неё все значения входных и выходных переменных в виде частной таблицы истинности для искомой функции.

5. Если на каком-либо наборе функция Y принимает как 0, так и 1, то присвоить ей значение Y. Если существуют наборы, на которых функция Y не определена, то на этих наборах искомой функции присвоить её инверсное значение, т. е. Y’.

6. Произвести минимизацию полученного выражения.

7. Произвести проверку рекурсивного выражения на соответствие его полной единице системы для задействованных аргументов, т. е. выполнить проверку равносильности произведённых преобразований.

Алгоритм «Импульс» (анализ законов логики суждений).

1)произвести замену всех знаков импликации на символы дизъюнкции в соответствии с известной формулой x ® y = x’ + y;

2)привести полученное выражение к ДНФ;

3)занести ДНФ в карту Карно и убедиться, что она вся покрыта единицами – это свидетельствует об истинности проверяемого закона или суждения.

Алгоритм «Импульс-С» (синтез импликативных силлогизмов).

Алгоритм инженерного синтеза импликативных силлогизмов по заданным посылкам немногим отличается от предыдущего алгоритма:

1)найти полную единицу системы М посылок, заменив импликацию по формуле x ® y = x’ + y;

2)привести полученное выражение к ДНФ;

3)подставляя в полученное выражение необходимые аргументы и отбрасывая лишние, т. е. заменяя их логической единицей или на i в случае автономного их вхождения, выводим соответствующие заключения как функции интересующих нас аргументов.

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

1.Заменить посылки выражениями в соответствии с формулами для функторов A, E,I, O.

2.Получить выражение для полной единицы М системы в виде конъюнкции всех посылок.

3. Получить из М функцию М(х, у), заменив средний член m или m' на 1. Если средний член m/m' входит в силлогизм автономно, то заменить его на i. Полученная функция М(х, у) является заключением силлогизма. Если в М встречается терм im или im’, то заключения не существует.

Алгоритм «Комета»

(вероятностный графический синтез недостающей посылки).

1. Изобразить на диаграммах Лобанова исходную посылку и все варианты заданного заключения.

2. Определить вероятность каждого варианта искомой посылки.

Алгоритм «НИИДАР» графического представления силлогизма по М.

1. По СДНФ полной единицы системы М построить сокращённую таблицу истинности для неё.

2. По сокращённой таблице истинности построить скалярные диаграммы, разбив интервал универсума на части, количество которых равно числу наборов в таблице истинности для М. Каждая часть универсума изображается соответствующим набором из таблицы истинности для М.

3. Из скалярных диаграмм выбрать (N – 1) логических функций от двух переменных, где N – число аргументов.

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

1. Заполнить карту Карно нулями и единицами в соответствии с таблицей истинности или заданным алгебраическим выражением.

2. Покрыть все элементарные квадраты Карно, в которых записаны единицы, минимальным количеством фигур покрытия, каждая из которых имеет максимальную площадь. Если в КК единиц больше, чем нулей, то покрыть все нулевые наборы и получить инверсию искомой функции.

3. Проверить каждую фигуру покрытия на соответствие принципу симметрии. В противном случае изменить контур фигуры покрытия в соответствии с принципом симметрии так, чтобы она превратилась в прямоугольник Карно.

4. Каждому прямоугольнику Карно соответствует одна импликанта, причём если в границах прямоугольника Карно какая-либо переменная принимает значения как 0 , так и 1 , то эта переменная не войдёт в импликанту.

Алгоритм «ОМТ» аналитического нахождения исходных посылок сорита.

1. Найти инверсию функции М и представить её в виде ДНФ, т. е. в виде логической суммы.

2. Проинвертировать полученную M’ и представить М в виде КНФ, т. е. в виде произведения логических сомножителей.

Алгоритм «Осташ-Т» (тест, анализ)

1.Заменить посылки и заключение выражениями в соответствии с формулами для функторов A, E, I, O.

2.Получить выражение в виде конъюнкции всех посылок, имплицирующей заключение.

3.Проверить это выражение на тождественность единице, занеся его в карту Карно (КК). Если выполняется тождественность единице, то заключение истинно. Если хотя бы одна из посылок или заключение являются частным суждением, то силлогизм является истинным даже при получении модальной единицы (т. е. в некоторых клетках КК проставлены символы модальности i) при условии, что m=1 или m'=1 (в этом случае строка m или соответственно m' должна содержать не менее 3-х целых единиц и только одну составную, т. е.1=i+j). В противном случае заключение не имеет места.

Алгоритм «Осташ-С» (синтез)

1.Заменить посылки выражениями в соответствии с формулами для функторов A, E,I, O.

2.Получить выражение в виде конъюнкции всех посылок и проинвертировать его. Занести полученное выражение в карту Карно.

3.Доопределить полученную функцию одним из выражений для силлогистических функторов A, E, I, O таким образом, чтобы получить тождественную или модальную единицу. При доопределении иметь в виду, что из частной посылки должно следовать частное заключение. Перед доопределением в одной строке КК(m или m') должно быть не менее 2-х, а после доопределения не менее 3-х целых единиц. Доопределяемое заключение должно содержать минимально необходимое количество единиц. Функция доопределения является искомым заключением. Если в доопределяемой строке КК имеется 2 полных единицы и 2 значения j, то доопределение невозможно.

4.Если вышеуказанное доопределение невозможно, то из данных посылок нельзя вывести никакого заключения.

Алгоритм «Осташков» (синтез заключений полисиллогизма).

1. Привести систему уравнений к нулевому виду (исходная система).

3. Произвести минимизацию совокупности единичных термов. Полученное соотношение представляет МДНФ уравнения полной единицы системы М.

4. Получить из М все К заключений сорита как функции от двух заданных переменных, заменяя на 1 все «лишние» переменные или на i в случае автономного их вхождения в формулу.

5. Представить результаты в виде скалярных диаграмм.

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

1.Изобразить все возможные ситуации для исходной посылки и заключения с помощью скалярных диаграмм.

2.Занести в таблицу истинности все значения f(m, y) для входных наборов my: 00,01,10,11.

3.Выполнить минимизацию логической функции посылки f(m, y).

4.Полученный результат представить в виде силлогистического функтора в соответствии с известным базисом.

Алгоритм «Селигер» решения логических уравнений в 4-значной логике.

1. Привести систему уравнений к нулевому виду (исходная система).

3. Произвести минимизацию совокупности единичных термов. Полученное соотношение представляет МДНФ уравнения полной единицы системы.

4. Построить сокращённую (только для единичных термов) таблицу истинности уравнения полной единицы и выписать из неё все значения входных и выходной переменных в виде частной таблицы истинности для искомой функции.

5. Произвести минимизацию полученного выражения..

6. Привести полученное выражение к рекурсивной форме, заменив i на прямое значение искомой переменной, а j – на инверсное значение этой переменной.

7. Произвести проверку рекурсивного выражения на соответствие его полной единице системы для задействованных аргументов.

Алгоритм «Селигер-С» синтеза обратных функций.

1. Построить таблицу истинности для уравнения z=f(x1, x2 ..... xn).

2. По исходной таблице истинности построить таблицу истинности для обратной функции вида x1=fi(z, x2 ......xn) простой перестановкой столбцов z и х1.

3. По полученной таблице истинности построить обратную функцию x1=fi(z, x2, ..... xn) и провести её минимизацию.

4. Проверить полученное решение, вычислив полную единицу системы М по обратной функции.

Алгоритм «Суздаль» (графический синтез заключений сорита).

1. Устранить по возможности все инверсии аргументов в посылках.

2. Выстроить посылки в «цепочку», обеспечивающую однозначное графическое представление сорита.

3. В соответствии с «цепочкой» изобразить скалярные диаграммы сорита.

4. Найти все возможные двуместные заключения с помощью скалярных диаграмм.

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

1.Изобразить все возможные ситуации для исходных посылок с помощью скалярных диаграмм Лобанова.

2.Занести в таблицу истинности все значения f(x, y) для входных наборов xy: 00,01,10,11.

3.Выполнить минимизацию логической функции заключения f(x, y).

4.Полученный результат представить в виде силлогистического функтора в соответствии с известным базисом.

Алгоритм «Циклон» (синтез многовариантных силлогизмов).

1. Убедиться, что для всех терминов-множеств исходных посылок и универсума силлогизма указаны количественные характеристики (заданы мощности множеств или хотя бы соотношения между ними).

2. Изобразить все возможные ситуации для исходных посылок с помощью скалярных диаграмм Лобанова.

3. Определить вероятность каждого варианта заключения, используя формулы вычисления количества сочетаний.

4. В том случае, когда первой посылкой является общеутвердительное или общеотрицательное суждение, то достаточно определить вероятности заключений по одному варианту из всех возможных для первой посылки.

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

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

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

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

ДССП – Диалоговая система структурированного программирования

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

ИИ - искусственный интеллект

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

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

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

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

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

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

Комета – »

ЛЗС - логика здравого смысла

ЛФ - логическая функция

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

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

МПА – микропрограммный автомат

НИИДАР – «НИИ дальней радиосвязи»

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

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

ОМТ – Осташковский механический техникум

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

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

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

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

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

РАЯ - Развиваемый (Русский) адаптивный язык

РВЛ - «Русская вероятностная логика»

Редан – «Редан»

РЛ - Русская логика

РЛИ - «Русская логика в информатике»

РЛИИ – «Русская логика – индикатор интеллекта»

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

СГА - Современная Гуманитарная Академия

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

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

ТО - теория относительности

ЭВМ - электронная вычислительная машина

Литература

Акимов математика: логика, группы, графы.– М.:ЛБЗ,2003. Аристотель. Сочинения. В 4-х томах. Т.2- М.: Мысль,1978. Брусенцов информатики. - М: Фонд "Новое тысячелетие",1994. Брусенцов система категорических силлогизмов Аристотеля. - В кн. Вычислительная техника и вопросы кибернетики. Вып.19. - М.: МГУ,1982. О частных суждениях. - Казань: Университет,1910.

6. Войтов мышления. – М.: 1999.

. Льюис Кэрролл и загадки его текстов – М.: РАН, Институт научной информации по общественным наукам,1995. Катречко в логику. Программа курса. – М.: УРАО, 1997. , Старченко . - М.: Юрист,1995. Кузичев Венна. История и применения. М., Наука, 1968 . История с узелками. - М.:Мир,1973. Лейбниц Собрание сочинений в 4 томах. Том 3. – М.:1983. Лобанов методы разработки цифровых устройств. - М.: НИИРТА,1977. Лобанов минимизации булевых функций от большого числа переменных с помощью карт Карно. - Инф. листок N54-87,М: МособлЦНТИ,1987. Лобанов микроконтроллерный регулятор с программируемой структурой обработки данных. Диссертация на соискание ученой степени канд. техн. наук. - Харьков, ХПИ,1989. Лобанов логики суждений и некоторые пути выхода из него.//Современная логика: проблемы теории, истории и применения в науке (Материалы V Общероссийской научной конференции) - СПб: 1998. Лобанов логических уравнений. //Научно-техническая информация. Сер. 2. N%9, 1998, с.Лобанов Аристотеля-Жергонна. //НТИ, сер.2, Информационные процессы и системы, N9, 1999, с.Лобанов проблемы классической логики.//Современная логика: Проблемы теории, истории и применения в науке (Материалы VI Общероссийской научной конференции), СПбГУ, 2000 — с.499 — 504. Лобанов и минимизация комбинационных схем//Информатика и образование, N5,2000, стр. 60 – 63. 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 (гонорар выплачен 4.11.2000). Лобанов по логике суждений. //Информатика и образование, №2,2001, с. 47-52. Лобанов по силлогистике. //Информатика и образование, №5,2001.

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

26. Лобанов разработчика цифровых устройств. – М.: Горячая линия – Телеком, 2001 – 192с.

27. Лобанов логика против классической (азбука математической логики) - М.: Компания Спутник+, 2002 – 126с.

28. Лобанов логика против классической. //Рационализм и культура на пороге третьего тысячелетия (материалы Третьего Российского философского конгресса), том 1, стр.278, г. Ростов-на-Дону, 2002.

Лобанов логика для школьников (и академиков). – М.:»Эндемик»,2004 – 110с. Лобанов логика и дисциплина мышления. // Созидание. Материалы IV Всероссийской научно-практической конференции. – М.:2004, с.237 – 245.

31. Лобанов логика для «физиков» и «лириков». – М.: Спутник+, 2005 – 427с.

Лобанов логики в естественнонаучных вузах. // Учебник философии. Материалы Всероссийской научно-методической конференции. – Казань, 2006, с.108 – 111. Лобанов по логике в России как проблема национальной безопасности.//Общечеловеческое и национальное в философии (материалы выступлений на IV международной научно-практической конференции КРСУ 25-26 мая 2006 г.) – Бишкек, 2006; с. 210 – 213. Лобанов в информатике.//Применение новых технологий в образовании (Материалы 18-й Международной конференции) – Троицк: 27-28 июня 2007г., с.35-38.

35. Лобанов лекций «Математика в логике» для спутникового образовательного телевидения. – М.: СГА, Спутниковое телевидение, канал СГУ-ТВ – телестудия Современной Гуманитарной Академии, 2007

36. Лобанов вероятностная логика для школьников и умных академиков. – М.: 2008 – 33с.

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

Лобанов логика как пример интеграции учебных дисциплин.// Общеобразовательная и профессиональная подготовка специалиста в вузе: проблемы интеграции. Материалы межвузовской научно-практической конференции (16-17 апреля 2009г.) – Владимир: 2009. Лобанов для искусственного интеллекта.//Современная логика: проблемы и истории (Материалы XI Международной конференции 24 – 26 июня 2010г.)- Санкт-Петербург, 2010, с. Лобанов – гордость России.// Теоретическое наследие казанской научной, философской, богословской мысли в контексте мировоззренческого диалога (сборник статей Всероссийских научных семинаров). – Казань, 2010, с.124 – 125.

41. Лобанов логика в информатике. – М.: Русская Правда, 2010 – 48с.

42. Лобанов по Русской вероятностной логике. – М.: - ЛЕНАНД, 2с.

43. Непейвода логика. - Ижевск: Удмурт. университет,1997.

44. Платон. Диалоги. – М.: Мысль, 2000.

45. О способах решения логических равенств и об одном обратном способе математической логики.// Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, т. 2, Казань, 1884.

46. Сайты в Internet: http://***** , http://matema. *****/newpage113.htm, http://www. mirit. *****/zerkalo. htm , http://ito. *****/, http://www. *****, http://lord-n. *****/walla. html/Книги и софт с , http://naztech. org/lobanov , http://www. ***** и др.

47. Светлов логика. - СПб: Изд. Дом «МиМ»,1997.

48. Смаллиан же называется эта книга? – М.: 2008 – 272 с.

49. Стяжкин математической логики. - М: 1967.

50. , Философия. - М.: Весь Мир,1997.

51. Шачнев логика. - М: 1991

ЛОБАНОВ ВЛАДИМИР ИВАНОВИЧ.

Автобиография.

Родился 1 марта 1940г. в г. Осташкове Калининской обл., на берегу оз. Селигер. Отец, , инженер, нач. Осташковского радиоузла, погиб на фронте в мае 1942г. Мать, , до войны сотрудница оборонного института, после войны няня в детских яслях, скончалась в 1992г. После эвакуации с 1941г. по 1946г. проживал в г. Суздаль.

В 1947г поступил в среднюю школу №63 г. Осташкова. Был отличником, пионером, комсомольцем. В 1957г. поступил в Осташковский механический техникум (ОМТ).

В 1960г. окончил теплотехническое отделение ОМТ. Диплом с отличием. Работал теплотехником (г. Сталинабад Таджикской ССР). 1960 – 1963 гг. – служба в Советской Армии (группа глубинной разведки, командир взвода ст. л-нт Сивеев, в/ч 77701, Киргизская ССР, г. Ош, ТуркВО). Был отличником Советской Армии, старшим разведчиком. Во время Карибского кризиса первым подал заявление о добровольном участии в оказании помощи Кубинской республике. Горжусь службой в спецназе. В армии был принят кандидатом в члены КПСС.

В 1963г. поступил в Ивановский энергетический институт (ИЭИ). Занимался спортом – имел разряды по лыжам, лёгкой атлетике, волейболу, ручному мячу, военному троеборью, фигурному катанию (парное катание и спортивные танцы на льду). Был солистом танцевальных ансамблей ИДНТ и ИЭИ. Окончил ИЭИ в 1968г по специальности инженер по автоматизации теплоэнергетических процессов. Ленинский стипендиат, диплом с отличием. Работал старшим инженером-наладчиком в тресте ОРГРЭС (г. Горловка). Налаживал автоматику горения энергоблоков 300 МВт на Новочеркасской ГРЭС. Возглавлял бригаду специалистов по наладке автоматики ТЭЦ ВАЗ (г. Тольятти).

С 1972 по 1973 гг. обучение в аспирантуре ВТИ им. Дзержинского (г. Москва). Сдал все экзамены кандидатского минимума, но работа над диссертацией показалась бесперспективной.

1гг. работал ведущим инженером НИИРТА (НПО «Импульс») по созданию систем управления оборонного назначения.

С 1979г. по 1995г. возглавлял отдел 450 ЦНИИ "Циклон", головной институт МЭП СССР. Внедрение микроэлектроники и вычислительной техники в народное хозяйство. Защитил кандидатскую диссертацию «Отказоустойчивый микроконтроллерный регулятор с программируемой структурой обработки данных». Имею более 100 научных публикаций. К настоящему времени издал несколько монографий, в которых зафиксировал приоритет гениального русского логика в создании математической силлогистики, решил проблему создания логики здравого смысла, т. е. Русской логики. При этом были доказаны некорректность и неполнота силлогистики Аристотеля, а также подвергнуто критике кванторное исчисление, т. е. дана отрицательная оценка мировой математической науке в области теории множеств и предложены пути преодоления указанных недостатков. Результаты по Русской логике были доложены на общероссийских и международных конференциях в Москве и Санкт-Петербурге (СПбГУ) в гг, в ИЕН РАН, на конференции «Эволюция и иносферы» в Президиуме РАН(28.03.2001), на IV и VI Российском философском конгрессе и в Комитете по обороне Госдумы РФ. Кстати, в Комитете по обороне ГД РФ было принято положительное решение о внедрении Русской логики и ликвидации логической безграмотности в России. Мною прочитаны курсы лекций по русской логике во Всероссийском обществе «Знание»(гг.), а также в ТВАТ(гг.) и других лицеях, колледжах и вузах. Все мои работы по Русской логике за 1998 – 1999гг. переведены в США. Избран Американским Биографическим институтом Человеком года-2011 за научные достижения в области математической логики.

В 2007/2008 гг. читал лекции по Русской логике в Современной гуманитарной академии (Москва). Эти лекции были записаны на телестудии СГА и транслировались по спутниковому телевидению на канале СГУ-ТВ.

С 1995 по 1998гг. возглавлял (по конкурсу) отдел автоматики в ф. "РоссЭко".

За время работы в НИИРТА создал в рамках ОКР несколько приборов для систем бортового управления, доведя их до выпуска опытных партий. Проводил обучение ведущих специалистов НИИРТА инженерным методам разработки цифровых устройств.

В ЦНИИ "Циклон" мною лично или под моим руководством были разработаны в результате проведения НИОКР следующие устройства и системы: УУ УКВ-тюнером, УУ всеволновым тюнером (на КР 580ИК80),система автоконтроля таксофонов (на КР1801ВЕ1), микроконтроллерный регулятор (на i8048)-прообраз ПРОТАРа МЗТА, отладочное устройство "Техника" для TMS270, оригинальные запатентованные адаптируемые отладочные системы АОС-6502, АОС-1814, АОС-1868, АОС-1801; автоматизированная система централизованной охраны и обороны ОНХ и квартир граждан, диагностический процессор, инструментальные системы контроля и диагностики цифровых устройств.

В ф. "РоссЭко" мною разработаны различные модификации универсальных промышленных микроконтроллеров и симисторные схемы управления электроприводом высокой мощности.

Работал на нескольких десятках микропроцессоров и микро-ЭВМ. Владею несколькими языками программирования высокого уровня(ALGOL, FORTRAN, FORTH, PASCAL, MODULA, C,РАЯ, BASIC) и ассемблерами. Программист высокой квалификации. Работал на нескольких типах ЭВМ и ПК.

С 13.10.1998г. по 31.01.2000г. работал в НПО «Химавтоматика» в должности главного специалиста по микроэлектронике. Разрабатывал микроконтроллеры для газовых анализаторов.

С 7.02.2000г. по 12.05.2001 работал в над созданием систем управления оборонного назначения (КПА-БАНКОР, БСК-Контейнер, КПА-БСК).

С 22.05.2001 по 14.07.04 работал главным специалистом на НПП «Редан» (ГНПП «Регион», Каширское ш., 13а) по разработке цифровых систем управления оборонного назначения.

С 2004 по 2007 гг. работал главным специалистом в разрабатывающем подразделении НИИ Дальней Радиосвязи (НИИДАР).

С 2007г. по настоящее время являюсь ведущим научным сотрудником ». Разрабатываю цифровые системы управления оборонного назначения.

Являюсь изобретателем, трижды лауреатом премии ВДНХ, награжден медалью "Ветеран труда.

Раб. тлф. (4E-mail: *****@***ru

Отзывы читателей на форумах.

За время существования Русской логики у автора накопилось много электронных писем читателей, ни в одном из которых не содержалось критики РЛ. Все письма носили доброжелательный характер. Огромное спасибо авторам этих писем за интерес к Русской логике и благожелательные отзывы. Публиковать переписку я не имею права без разрешения авторов. Но читатель может удовлетворить свою любознательность, заглянув в Интернет на различные многочисленные форумы, где идёт оживлённый диспут на тему РЛ. Русофобы нажимают на эмоции, не приводя ни одного аргумента. Это и понятно: племя русофобов по определению невежественно, безграмотно и бестолково. Читателю предстоит самостоятельно определить истину. Автор заглянул лишь на два-три форума, поэтому он много чего о себе и РЛ не знает. Это конечно, интересно, но пока нет времени на поиски таких дискуссий.

Здесь приведены лишь два «окна» из какого-то диспута в Интернет. Оценки на этом форуме варьируются от «гения» до совершенно инверсного определения. Это чрезвычайно забавно и весьма радует: следовательно, проявили интерес как апологеты РЛ, так и её обозлённые оппоненты. Автор точно не гений: его интеллект по вышеприведённой системе оценок на уровне «четвёрки», а мышление нормально посредственное. Судя по рекомендации на сайте Е., скоро какой-нибудь дилетант и недоумок потребует или уже потребовал запрета РЛ (оказалось, уже потребовал).

Читатель далее увидит, что в запрете русофоба содержится невольное признание невозможности опровержения РЛ. Ну а далее следует истеричное требование категорического запрета Русской логики.

Русская логика – индикатор интеллекта (стр. 13 )

Заключение.

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

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

Литература

ЛОБАНОВ ВЛАДИМИР ИВАНОВИЧ.

Автобиография.

Отзывы читателей на форумах.

Оглавление

Домашний очаг

Справочная информация

Техника

Общество

Образование и наука

Мир

Бизнес и финансы