Лобанов Владимир Иванович, вед научн сотрудник фгуп «цнии «Комета», к т. н., e mail : lobanov V i @ mail ru

Вид материала

Документы

Содержание Логика дисциплинирует мышление. 1. Алгебра логики 1.2 Основные законы алгебры Буля. Особое место в алгебре логики занимает функция импликации 1.3. Синтез логических функций Алгоритм «НИИРТА» графической минимизации булевых функций от 4-х и менее переменных. Формы задания булевых функций. 1.5. Минимизация недоопределённых булевых функций 2. Законы логики суждений Алгоритм «Импульс». Axy = (x = xy) = x(xy)+x’(xy)’ = xy+x’(x’+y’) = xy+x’ = x’+y. Логика суждений и логика предикатов (силлогистика) – это одно и то же Алгоритм «ТВАТ» (графический синтез силлогизмов) 3.1. Практикум по силлогистике. Лобанов владимир иванович

Подобный материал:

• ссылка скрыта, 1113.42kb.
• Конспект лекций по предмету технология программирования базовая кафедра №248 при фгуп, 929.64kb.
• Арушанова Алла Генриховна к п. н., ведущий научный сотрудник, лауреат премии правительства, 164.19kb.
• Решение уравнений Максвелла Дирака дают солитонные уравнения, которые предполагают, 160.73kb.
• Мнение ветеринарного врача со стажем об иммуномодуляторах и иммуностимуляторах для, 354.58kb.
• Сухин Игорь Георгиевич, старший научный сотрудник Института теории и истории педагогики, 214.89kb.
• с) 1999 А. Аливердиев (e-mail: aliverdi@mail, 1826.11kb.
• Нп «сибирская ассоциация консультантов», 69.44kb.
• Берестовая Жанна Александровна, методист гцро, тел. 74-57-34; e-mail: metodist-70@mail, 43.21kb.
• Россия. Москва, ул. Сущевский вал, д. 47, стр. 2, оф. 1, Пц «Маэстро» (конкурс), 127.12kb.

Лобанов Владимир Иванович, вед.научн.сотрудник ФГУП «ЦНИИ «Комета», к.т.н., e-mail:lobanov-v-i@mail.ru.

Русская логика в информатике (Букварь математической логики).

Аннотация

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

Предисловие

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

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

1. Как работать с картой Карно на 8 и более переменных?
   
2. Что такое метод обобщённых кодов Мавренкова?
   
3. Что можно вычислить с помощью кванторного исчисления?
   
4. Алгебра множеств и алгебра логики. Назовите различия.
   
5. Логика предикатов и логика суждений. В чём разница?
   
6. Физический смысл и вывод формулы импликации.
   
7. Фигуры и модусы Аристотеля. В чём их практическая ценность?
   
8. Правильны ли правила посылок в силлогистике?
   
9. Как выглядят аналитические представления для Axy, Exy и Ixy?
   
10. В чём смысл логики П.С. Порецкого?
    
11. В чём главное достижение логики Л. Кэрролла?
    
12. Что такое вероятностная логика?
    
13. Что такое 4-значная комплементарная логика?
    
14. Как решаются логические уравнения?
    
15. Что такое логическое вычитание и деление?
    
16. Как найти обратную логическую функцию?
    

Ответы на эти вопросы вы найдёте в «РВЛ», которую можно бесплатно скачать с моего сайта ссылка скрыта или сайта РГБ ссылка скрыта . На этих же сайтах вы сможете прочесть основополагающую работу Платона Сергеевича Порецкого.

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

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

Автор предлагаемого пособия – нормальная посредственность в мышлении, поэтому русским преподавателям математики стыдно будет не освоить (или опровергнуть) «Русскую логику в информатике». Не верьте ни единому утверждению в Русской логике. Возражайте, опровергайте, но аргументированно.

Логика дисциплинирует мышление. Ещё Гераклит говорил, что учить нужно многомыслию, а не многознанию. Не путайте Божий дар с яичницей: телевизионные «знатоки» - это не мыслители, они зарабатывают деньги не «своим собственным умом», а совсем противоположным местом.

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

Материал этой брошюры прошёл апробацию в 5«А» классе СШ №3 г.Москвы. Это обычная нематематическая средняя школа. Были проведены 4 двухчасовых занятия ознакомительного курса. Пятиклассники активно и с большим интересом осваивали Русскую логику.

Нормальная программа-минимум должна выглядеть следующим образом.

№п/п	Вид занятий	Тема и краткое содержание занятий	Кол-во часов	Дом. Зад.	Раз- делы
1	Урок	Предмет логики. Алгебра логики.	2		1.1-1.2
2	Урок	Синтез логических функций	4	ДЗ1	1.3-1.5
3	Семинар	Синтез логических функций	2	ДЗ2	1.1-1.5
4	Урок	Законы логики суждений	2	ДЗ3	2
5	Семинар	Законы логики суждений	2	ДЗ4	2
6	Урок	Силлогистика	2	ДЗ5	3
7	Семинар	Силлогистика	2	ДЗ6	3
8	Контр.работа		2		1-3