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

Задача 12[1,стр.151]

Боязливый к прекрасному полу - боязлив и в жизни.

Тот, кто знает логику, не боится женщин.

Трус не разбирается в логике.

Задача 13[1,стр.152]

Среди болтунов нет логиков.

Только болтун может стать политиком.

Ни один логик не станет политиком.

Задача 14[1,стр.152]

Иногда проходимец может оказаться ясновидцем.

Если ты ясновидец, то не должен лгать.

Существуют проходимцы, которые обязаны говорить правду.

Задача 15[1,стр.152]

Лишь двоечник по убеждению - лентяй.

Ни один студент не любит получать двойки.

Значит, среди студентов нет лентяев.

Задача 16[1,стр.152]

Лишь в правовом государстве реализуются права граждан.

Только демократическое государство может быть правовым.

Права граждан могут быть реализованы лишь в демократическом государстве.

4. ЛЕКЦИЯ № 4. Логические уравнения

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

Под решением логического уравнения понимается преобразование исходного уравнения к явному виду относительно одной из переменных (формулировка Вороничева П.П., сотрудника ИПУ им. Трапезникова, г.Москва). Наиболее полно эта проблема рассмотрена в работах П.С.Порецкого и Н.П.Брусенцова. Результаты великих учёных были не всегда успешными.

Поэтому вначале автор решал проблему на основе 4-значной комплементарной логики [1]. Позднее был найден более простой метод решения логических уравнений, основанный на применении алгоритма «Волга» [6]. логика двоичный код импликативный уравнение

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

1. Произвести синтез СДНФ полной единицы системы.

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

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

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

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

Пример.

Рассмотрим 1-ю задачу Порецкого. Между птицами данного зоосада существует 5 отношений:

1. Птицы певчие - крупные или обладающие качеством Y.

2. Птицы, не имеющие качества Y - или не крупные, или не имеют качества Х.

3. Птицы певчие в соединении с крупными объединяют всех птиц с качеством Х.

4. Каждая не-крупная птица есть или певчая, или обладающая качеством Х.

5. Между птиц с качеством Х совсем нет таких птиц с качеством Y, которые, не будучи певчими, были бы крупные.

Определить, были ли птицы качества Х певчие или нет, крупные или нет. Узнать то же в отношении птиц качества Y. Найти, были ли среди птиц качества Х птицы качества Y и наоборот.

Решение.

Пусть Х - птицы качества Х.

Y - птицы качества Y.

S - певчие птицы.

G - крупные птицы.

На основе соотношений Axy = x'+y и Exy = x'+y', выведенных нами в разделе «Силлогистика»), получим:

1.As(g+y) = s'+g+y = 1

2. Ay'(g'+x') = y+g'+x' = 1

3. Ax(s+g) = x'+s+g = 1

4. Ag'(s+x) = g+s+x = 1

5. Ex(ys'g) = x'+y'+s+g' = 1

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

1. g'у's=0

2. gxу'=0

3. g's'x=0

4. g's'x'=0

5. gs'xу=0

Полный логический нуль системы равен дизъюнкции всех левых частей системы логических уравнений. Проведём решение задачи Порецкого с использованием карты Карно, а потом сопоставим результаты. Заполним карту Карно нулями в соответствии с нулевыми термами системы, а в оставшиеся клетки впишем единицы. Тогда полная логическая единица всей задачи после минимизации примет вид: m = sу+gx'. Это совпадает с результатом Порецкого.

Выпишем из карты Карно все единичные термы в виде таблицы истинности, т.е. выполним п.2 алгоритма «Волга». По полученной таблице построим таблицы для х=f1(g, s),y=f2(g,s) и у=f3(х). Если на каком-либо наборе функция принимает значение как 0, так и 1, то в соответствующую клетку карты Карно вписываем значение искомой функции. Если какой-нибудь набор отсутствует, то для этого набора в карту Карно вносим инверсное значение искомой функции.

После минимизации имеем:

x = xs + x'g's'

у = g's + yg + y'g's'

у = x + y

x = xy

Результаты, полученные Порецким:

x = xs

у = gу + g's

у = у + x

x = xy

Сравнивая системы полученных уравнений, можно заметить различия. Проверим себя и Порецкого на результате x = xs + x'g's'. Полная единица системы M(g,s,x) = s+gx'. Это следует из основной формулы M(g,s,x,y) = sy+gx'. Для результатов, полученных по алгоритму «Волга», имеем

M(g,s,x) = (x=xs+x'g's') = xs+x'(xs+x'g's')' = xs+x'(x's+gs'+xs') = xs+x's+x'g = s+gx', что и требовалось доказать.

Для Порецкого проверка не увенчалась успехом. Здесь великий логик допустил ошибку. Привожу проверку равносильности преобразований для x=xs:

M(g,s,x) = (x=xs)=xs+x'(xs)'=xs+x'=s+x', что не соответствует исходному M(g,s,x).

Строгим решением является лишь результат, полученный на основе алгоритма «Волга». Таким образом, мы доказали некорректность методов Порецкого при решении логических равенств.

Домашнее задание 4

По заданной полной единице системы М найти решение уравнения относительно всех переменных.

M = a+bcd

M = abc+d

M = a+bc+d

M = ab+c+d

M = a+b+cd

M = a+b+c+d

Пример выполнения задания относительно одной переменной.

Пусть M = acd+b. Найти решение уравнения относительно переменной a.

Решение.

Развернём уравнение полной единицы системы М в СДНФ и в соответствии с п.2 алгоритма «Волга» построим сокращённую таблицу истинности. Из неё по п.3 алгоритма получим таблицу истинности для искомого аргумента. Весь процесс отображён на рисунке.

Из полученной таблицы истинности находим: a = b'cd+ab+a'b'd'+a'b'c'.

Проверим результат по формуле равнозначности:

M = a(b'cd+ab+a'b'd'+a'b'c')+a'(b'cd+ab+a'b'd'+a'b'c')' = ab'cd+ab+a'(a'b+ab'c'+ab'd') = = ab'cd+ab+a'b = acd+b, ч.т.д. Проверка завершена успешно.

5. ЛЕКЦИЯ № 5. Отыскание обратных функций

На основе метода, заложенного в алгоритме «Селигер», можно вывести соотношения для операций, обратных конъюнкции и дизъюнкции. Поскольку эти операции часто называются соответственно логическими умножением и сложением, то логично обратным операциям присвоить имена логического деления и логического вычитания. Впервые формулы для логического частного и логической разности для троичной логики получены Н.П.Брусенцовым. Поскольку в троичной логике не может быть получено корректное решение, то требуется проверка уравнений Брусенцова.

Если логическое уравнение вида z=f(x1, x2, x3 .....xi .....xn) решается относительно одной из своих переменных, например, отыскивается обратная функция x1=fi(z, x2, x3 .....xi ..... xn), то можно воспользоваться более простым алгоритмом «Селигер-С» решения задачи.

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

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

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

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

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

Пример 5.

Дано: z = xу , v = x + у.

Найти: у = z/x , у = v-x .

Решение.

На основе формулы эквивалентности преобразуем исходную формулу z=xу. Тогда получим (z=xу) = zxу + z'(x'+у'). В соответствии с пп.4, 5 алгоритма «Селигер» получим у = xz+ix'z'+jx'z.

Решим ту же задачу посредством алгоритма «Селигер-С». Исходные уравнения представим в виде таблицы истинности. Тогда в соответствии с п.2 алгоритма «Селигер-С» построим частные таблицы истинности для у= z/x и у=v-x.

В соответствии с п.3 алгоритма «Селигер-С проведём минимизацию искомых функций в комплементарной логике.

Для комплементарной логики получим:

у = z/x = xz + ix'z' + jx'z = xz+x'yz'+x'y'z - уравнение логического деления.

у = u-x = x'v + iv + jxv' = x'v+yv+xy'v' - уравнение логического вычитания.

Проверим оба полученных результата. Пусть вначале это будет операция логического деления. В рекурсивной форме она выглядит так:

у = xz + yx'z' + y'x'z

Найдём полную единицу системы М для полученной функции.

M = (у = xz + yx'z' + y'x'z ) = y(xz + yx'z' + y'x'z )+y'(xz + yx'z' + y'x'z )' =

= xyz+x'yz'+y'(y'z'+xz'+x'yz) = xyz+x'yz'+y'z' = xyz+z'(x'+y').

Она должна совпадать с исходной

M = (z=xy) = xyz+z'(xy)' = xyz+z'(x'+y'). Налицо совпадение результатов.

Проверим формулу, полученную для логической разности. Исходная полная единица системы M = (v = x+y) = v(x+y) + v'(x+y)' = xv+yv+x'y'v'.

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

M = (y = x'v+yv+xy'v') = x'yv+yv+y'(x'v+yv+xy'v')' = yv+y'(x'v'+yv'+xy'v) =

= yv+x'y'v'+xy'v = xv+yv+x'y'v', ч.т.д.

Проверка подтвердила правильность полученных результатов.

Теперь проверим формулы, полученные Брусенцовым Н.П. Для логического деления была получена формула: y = xz+ix'.

Приведём её к рекурсивному виду - получим y = xz+yx'. Найдём полную единицу системы: M = (y = xz+yx') = xyz+x'y+y'(xz+yx')' = xyz+x'y+y'(xz'+y'x')' = xyz+x'+xy'z' = x'+x(y=z) = x'+(y=z), что не соответствует исходной М.

Для логического вычитания Брусенцовым Н.П. построена частичная функция [3, с.37] : y = x'z+ix. В рекурсивном виде y = x'z+yx. Найдём полную единицу системы M = (y = x'z+yx) = x'yz+xy+y'(x'z+yx)' = x'yz+xy+y'(x'z'+y'x) = x'yz+xy+xy' = x'yz+x, что не соответствует исходной М.

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

6. ЛЕКЦИЯ № 6

6.1 Основные недостатки классической логики

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

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

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

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

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

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

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

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

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

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

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

6.2 Основные результаты, полученные при создании Русской логики

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

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

Впервые доказано, что алгебра множеств - «лишняя сущность»(Оккам), поскольку алгебра логики выполняет её функции, оперируя как с множествами, так и с единичными логическими элементами.

Показано, что «кванторное исчисление» ничего не исчисляет, поскольку является примитивной мнемоникой.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Впервые проверены все 64 модуса силлогистики Аристотеля-Жергонна. Доказано, что почти все «правильные» модусы Аристотеля не корректны.

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

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

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

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

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

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

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

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

Отмечено, что аналитическое представление силлогистических функторов Axy, Exy впервые дано русским логиком П. С. Порецким, чего до сих пор не поняла мировая наука.

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

Доказано, что логика суждений и логика предикатов идентичны, т.к. идентичны импликация и общеутвердительный квантор: x > y = x' + y = Axy (здесь апостроф обозначает инверсию).

Впервые создана вероятностная логика.

Разработаны методы определения вероятности того или иного заключения в силлогизме.

Поскольку термины силлогистики являются множествами, то заключение зависит не только от содержания терминов, но и от количества элементов в терминах-множествах и универсуме.

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

Заключение

Мы с Вами, дорогой Читатель, убедились, что вся силлогистика является вероятностной.

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

На этом основании и на основании работ П.С.Порецкого можно утверждать, что Русская вероятностная логика является не только фундаментом искусственного интеллекта, но и базой теории вероятности.

Логика Аристотеля не только бесполезна, но и вредна (это было понятно Ф.Бэкону уже 400 лет назад).

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

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

В данной работе подчёркивается мировой приоритет русского учёного П.С.Порецкого в создании математической силлогистики и решении логических уравнений, т.е. в создании истинно математической логики.

Впервые обнаружены и устранены принципиальные ошибки П.С.Порецкого в решении логических уравнений, разработана четырёхзначная комплементарная логика, созданы алгоритмы графического анализа и синтеза силлогизмов, а также алгоритм работы с картами Карно для большого числа аргументов. Доказано, что решение логических уравнений возможно лишь в четырёхзначной комплементарной логике.

Впервые создана вероятностная логика и разработаны её алгоритмы.

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

Литература

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

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

Сайты в Internet: http://logicrus.ru, http://matema.narod.ru/newpage113.htm, http://www.mirit.narod.ru/zerkalo.htm, http://ito.edu.ru/, http://www.trinitas.ru, http://lord-n.narod.ru/walla.html/Книги и софт с Walla.com, http://naztech.org/lobanov, http://www.rsl.ru и др.

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

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

Лобанов В.И. Русская логика - индикатор интеллекта. - М.: Русская Правда, 2012 - 320 с.

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

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

Суворов В. Аквариум. - М.: Новое время, 1993 - 304с.

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

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

ГГР - группа глубиной разведки

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Редан - ООО НПП «Редан»

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

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

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

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

САПР - система атоматизированного проектирования

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

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

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

Биография

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

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

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

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

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

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

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

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

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

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

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

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

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

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

С 15.01.2004 по 31.12.2006 работал гл.специалистом на НПП «НИИДАР». Разрабатывал схемы цифрового телевидения.

С 9.03.2007 по настоящее время работаю ведущим научным сотрудником в ФГУП «ЦНИИ «Комета» по разработке электронных устройств оборонного назначения.

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

ТуркВО, в/ч 77701, группа глубинной разведки, г.Ош, 1963г.

Горные лыжи в Братцево, 2006г.

Занятия по «Русской логике» в 5 «А» классе московской СШ №3, 2009г.

Проведение техучёбы по ИМРЦУ в ЦНИИ «Комета», 2010г.

Н.П. Брусенцов, мой Учитель и Наставник по матлогике, 2010г.



Запись лекций по Русской логике на телестудии СГА для телеканала СГУ-ТВ.

Размещено на Allbest.ru

...