Популяризаторские работы по Русской логике представлены на сайте
| Вид материала | Изложение |
- Программа и описание курса Лекция «Андеррайтинг владельцев бизнеса» Специфика работы, 74.06kb.
- Которая была проведена с участием редакции сайта «Политучеба», 830.24kb.
- Оценка программы Вданной лекции ( шаг 2 ) представлены литературные источники и базы, 308.47kb.
- Анализ методической работы мбоу «сош №15» за 2010 2011 учебный год, 197.04kb.
- Курсовая работа, 193.69kb.
- Удк 519. 816 Способ представления термов в логике предикатов первого порядка. Алгоритм, 184.64kb.
- Техническое задание мбоу толстомысенской сош №7: «Варианты учебных планов подростковой, 160.12kb.
- М. М. Розенталь принципы диалектической логики глава V понятие в диалектической логике, 1324.47kb.
- Интернет, как информационно-образовательная среда, 70.95kb.
- Доклады и тезисы представлены в авторской редакции. Сподробными материалами конференции, 2528.5kb.
18.05.2005.
В. И. Лобанов, к. т. н.,член РФО РАН
РУССКАЯ ЛОГИКА ДЛЯ «ФИЗИКОВ» И «ЛИРИКОВ»
Аннотация
Данное пособие является общедоступным изложением (букварём) инженерных методов разработки цифровых устройств, без освоения которых разработчик-цифровик не имеет права на звание инженера. Кроме того, данное пособие является азбукой для матлогиков. Вскрывая противостояние инженерной и классической логики, автор показывает, что силлогистика Аристотеля, поддержанная кванторным «исчислением», не имеет никакого отношения к логике здравого смысла. Инженерными методами решены фундаментальные проблемы классической логики, возраст которых насчитывает 25 веков. Популяризаторские работы по Русской логике представлены на сайте narod.ru.
Москва
2005
Посвящается моим родителям,
Лобанову И.Е. и Лобановой О.С. .
УДК 621.3.049.77:681.518.3
УДК 681.32.001.2
УДК 161:162
ББК 87.4
Л..
ПРЕДИСЛОВИЕ
В процессе своего развития классическая логика превратилась в многоаспектную науку. В 1910 г. петербургский инженер Пётр Эренфест впервые в мире доказал возможность описания и преобразования релейно-контактных схем методами алгебры логики, а в 1938 г. русский физик В. И. Шестаков впервые в мире применил математическую логику для синтеза релейных схем. C этого момента зарождается практическая логика. Поскольку практическая логика решала чисто инженерные задачи, то вполне естественно назвать эту логику инженерной. Логики-гуманитарии, да и подавляющее большинство классических «матлогиков» не владеют инженерной логикой. Эта наука профессионально решает такие проблемы, как графический и аналитический синтез комбинационных схем (многоаргументные методы минимизации булевых функций), синтез микропрограммных автоматов (МПА) на базе интегральных и релейных схем. К проблемам инженерной логики относится также создание искусственного интеллекта, фундаментом которого является силлогистика. Но классическая силлогистика совершенно беспомощна в решении поставленных перед нею задач.
Впервые проблемы формального анализа и синтеза цифровых устройств были решены русским ученым М. А. Гавриловым. В 1948г. он защитил докторскую диссертацию по анализу и синтезу многотактных схем. Более 20 лет прошло с момента выхода в свет публикаций [3,14,22], популяризирующих результаты работ М.А.Гаврилова и В.М.Глушкова, но абсолютное большинство инженеров-цифровиков до сих пор проводят разработки МПА только на основе эвристики без привлечения формальных методов. Обидно, что талантливейшие российские инженеры спотыкаются на таких мелочах. К слову сказать, уровень зарубежных разработок с точки зрения формального синтеза МПА ещё ниже. Мало того, даже академик В.И.Варшавский в предисловии к книге «Апериодические автоматы» признается в своём бессилии при синтезе асинхронного счетного триггера, хотя весь теоретический аппарат для решения этой задачи был уже разработан. В «букваре инженера» читатели найдут примеры синтеза многих МПА, в том числе и счётного триггера. В связи с планомерным уничтожением науки, производства и образования в России с начала 90-х годов XX века и по настоящее время(2005г.) профессиональный уровень инженерного корпуса резко снизился. Ощущается острая нехватка разработчиков-схемотехников. Автор глубоко убежден в том, что для освоения инженерных методов разработки цифровых устройств, а также основ логики, включая силлогистику, вполне достаточно начального образования. Учитывая проблемы подготовки специалистов в области инженерной логики и наметившееся отставание классической логики от требований практики, автор ставит перед собой следующие задачи:
1)изложить инженерные методы разработки цифровых устройств на языке, доступном пониманию школьников;
2)довести до широкого читателя отечественные (поскольку зарубежных не существует) основы логики здравого смысла и методы решения логических уравнений, а также алгоритмы анализа и синтеза силлогизмов.
Рекомендуются к освоению следующие разделы части 1 пособия:
школьникам - 1.1 - 1.4,1.9,3.1 - 3.4,4.1 - 4.5,5.1,6.3;
инженерам - 1.1 - 1.10, 2.2, 2.3, 3.1 - 3.4, 4.1 - 4.5, 5.1 - 5.4, 6.1 - 6.4;
вед. инженерам - дополнительно 2.1, 6.5, 6.6;
логикам - 1.1 - 1.4, 1.9.
Из части 2 рекомендуются к освоению следующие главы:
школьникам - 1, 2, 3, 5, 6, 9 - 11;
инженерам - 1, 2, 3, 5 - 11;
вед. инженерам - 1-12;
логикам - 1- 10.
Поскольку вопросам синтеза МПА и силлогистике посвящено огромное количество публикаций, то автор приводит лишь наиболее значимые с точки зрения практического применения работы.
Автор родился и вырос в Осташкове, родине Л.Ф.Магницкого, основателя Российской математики, на берегу озера Селигер. Поэтому он не мог не упомянуть жителей этого города и самого озера хотя бы в названиях алгоритмов. Первая часть книги зародилась и вышла в свет в стенах Научно-исследовательского института радиотехнической аппаратуры (НИИРТА) при активном содействии ведущих специалистов этого оборонного предприятия. Особая благодарность Инженерам от Бога Кашину Ф.А. и Столярову А.М. Замысел второй части родился благодаря зав. проблемной лаб. ЭВМ МГУ Брусенцову Н.П., ознакомившему автора с проблемами современной логики. Книга не была бы написана без помощи администрации ф. «РоссЭко» и Тушинского вечернего авиационного техникума (ТВАТ). Автор выражает свою признательность руководителям этих организаций Докучаеву А.В. и Немченко Т.П.