Инженерная логика против классической
| Вид материала | Книга |
- Программа курса и темы практических занятий; Логика в таблицах и схемах. Логика как, 1722.34kb.
- Логика в образовании, 153.37kb.
- Математическая логика, 1012.22kb.
- Курс: 1 семестр 2 дисциплина: Инженерная графика задания для самостоятельной работы, 459.93kb.
- Логика богочеловечества, 213.06kb.
- Гуманитарное образование в технических вузах России в 19 20 веках, 261.32kb.
- Активизирующий опросник "За и против", 392.33kb.
- Отчет о выполнении 1 этапа проекта кафедры «Инженерная графика и дизайн», 95.62kb.
- «Инженерная экономика и маркетинг», 412.65kb.
- Н. В. Папуловская Математическая логика Методическое пособие, 786.38kb.
26.07.2000.
В. И. Лобанов, к. т. н.
ИНЖЕНЕРНАЯ ЛОГИКА ПРОТИВ КЛАССИЧЕСКОЙ
(букварь цифровика и азбука логика)
Практические методы разработки цифровых устройств.
Инженерное решение многовековых проблем классической логики.
Книга доступна школьнику и полезна специалисту.
Аннотация
Данное пособие является общедоступным изложением (букварём) инженерных методов разработки цифровых устройств, без освоения которых разработчик-цифровик не имеет права на звание инженера. Кроме того, данное пособие является азбукой для матлогиков. Вскрывая противостояние инженерной и классической логики, автор показывает, что силлогистика Аристотеля, поддержанная кванторным исчислением, не имеет никакого отношения к логике здравого смысла. Инженерными методами решены фундаментальные проблемы классической логики, возраст которых насчитывает 24 века.
Москва
1998
Посвящается моим родителям:
Лобанову Ивану Ефимовичу и
Лобановой Ольге Сергеевне.
УДК 621.3.049.77:681.518.3
УДК 681.32.001.2
УДК 161:162
ББК 87.4
Л..
ПРЕДИСЛОВИЕ
В процессе своего развития классическая логика превратилась в многоаспектную науку. В 1938 г. русский физик В. И. Шестаков впервые в мире доказал возможность описания и преобразования релейно-контактных схем методами алгебры логики[38]. C этого момента зарождается практическая логика. Поскольку практическая логика решала чисто инженерные задачи, то вполне естественно назвать эту логику инженерной. Логики-гуманитарии, да и подавляющее большинство классических «матлогиков» не владеют инженерной логикой. Эта наука профессионально решает такие проблемы, как графический и аналитический синтез комбинационных схем (многоаргументные методы минимизации булевых функций), синтез микропрограммных автоматов (МПА) на базе интегральных и релейных схем. К проблемам инженерной логики относится также создание искусственного интеллекта, фундаментом которого является силлогистика. Но классическая силлогистика совершенно беспомощна в решении поставленных перед нею задач.
Впервые проблемы формального анализа и синтеза цифровых устройств были решены русским ученым М. А. Гавриловым. В 1948г. он защитил докторскую диссертацию по анализу и синтезу многотактных схем. Более 20 лет прошло с момента выхода в свет публикаций [2,11,16], популяризирующих результаты работ М.А.Гаврилова и В.М.Глушкова[10], но абсолютное большинство инженеров-цифровиков до сих пор проводят разработки МПА только на основе эвристики без привлечения формальных методов. Обидно, что талантливейшие российские инженеры спотыкаются на таких мелочах. К слову сказать, уровень зарубежных разработок с точки зрения формального синтеза МПА ещё ниже. Мало того, даже В.И.Варшавский в предисловии к книге «Апериодические автоматы» признается в своём бессилии при синтезе асинхронного счетного триггера, хотя весь теоретический аппарат для решения этой задачи был уже разработан. В «букваре инженера» читатели найдут примеры синтеза многих МПА, в том числе и счётного триггера. В связи с планомерным уничтожением науки, производства и образования в России конца 90-х годов XX века профессиональный уровень инженерного корпуса резко снизился. Автор глубоко убежден в том, что для освоения инженерных методов разработки цифровых устройств, а также основ логики, включая силлогистику, вполне достаточно начального образования. Учитывая проблемы подготовки специалистов в области инженерной логики и наметившееся отставание классической логики от требований практики, автор ставит перед собой следующие задачи:
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;
инженерам - 1, 2, 3, 5, 6;
вед. инженерам - 1-7;
логикам - 1-7.
Поскольку вопросам синтеза МПА и силлогистике посвящено огромное количество публикаций, то автор приводит лишь наиболее значимые с точки зрения практического применения работы.
Автор родился и вырос в Осташкове, родине Л.Ф.Магницкого, основателя Российской математики, на берегу озера Селигер. Поэтому он не мог не упомянуть жителей этого города и самого озера хотя бы в названиях алгоритмов. Первая часть книги зародилась и вышла в свет в стенах Научно-исследовательского института радиотехнической аппаратуры (НИИРТА) при активном содействии ведущих специалистов этого оборонного предприятия. Особая благодарность Инженерам от Бога Кашину Ф.А. и Столярову А.М. Замысел второй части родился благодаря зав. проблемной лаб. ЭВМ МГУ Брусенцову Н.П., ознакомившему автора с проблемами современной логики. Книга не была бы написана без помощи администрации ф. «РоссЭко» и Тушинского вечернего авиационного техникума (ТВАТ). Автор выражает свою признательность руководителям этих организаций Докучаеву А.В. и Немченко Т.П.