Дискретная математика без формул - [12]
При использовании логики для проектирования логических схем, например отдельных фрагментов процессора, первоначально эксплуатировали аналогию с релейными схемами. Операция диз'юнкции ("или") соответствует параллельному подключению контактов реле, кон'юнкции ("и") – последовательному. Операция отрицания ("не") моделируется нормально замкнутым контактом реле. То есть контакт размыкается при срабатывании реле. Разумеется, все это реализовывалось в полупроводниковом «модульном» варианте. Тогда достаточно было выпустить, например, модули типа «и-не», чтобы на них реализовать любую схему. (А сам процессор был размером со шкаф, но не по вине логики).
Лекция 8. АЛГЕБРА ВЫСКАЗЫВАНИЙ
В этой алгебре об'ектами служат высказывания, о которых мы уже поговорили. Операции над высказываниями также обсудили. Осталось поговорить об их свойствах или законах, чтобы определится наконец с алгеброй.
Если использовать только три первых логических операции: диз'юнкцию, кон'юнкцию и отрицание, то алгебра высказываний аналогична алгебре множеств. Аналог диз'юнкции – об'единение, кон'юнкции – пересечение, а отрицания – дополнение. Эти аналогии можно использовать для одного из возможных об'яснений смысла логических операций (это, так называемая, теоретико-множественная интерпретация – и она достаточно «естественна»). Но мы ограничимся формальным подходом. А в связи с этим напомним, что нами были названы еще импликация, эквивалентность и штрих Шеффера, аналогов которым в теории множеств мы не стали искать.
Однако эти операции можно выразить через первые три.
Импликацию можно представить иначе, если взять диз'юнкцию отрицания первого высказывания со вторым. То есть с точки зрения формальной логики равносильны высказывания:
"ЕСЛИ стоит хорошая погода, ТО мы купаемся" и
"НЕВЕРНО, что стоит хорошая погода, ИЛИ мы купаемся".
Единственный случай, когда оба сложных высказывания ложны, это когда первое высказывание истинно, а второе ложно, то есть когда погода стоит хорошая, а мы не купаемся.
Для эквивалентности замена более длинная, но, фактически, совпадающая с определением. Например, высказывание (пусть и несколько диковатое):
"Хорошая погода стоит ТОГДА И ТОЛЬКО ТОГДА, КОГДА мы купаемся" эквивалентно высказыванию "Хорошая погода И мы купаемся ИЛИ НЕхорошая погода И мы НЕ купаемся".
Кстати, эквивалентность можно было выразить и через кон'юнкцию двух импликаций:
"ЕСЛИ стоит хорошая погода, ТО мы купаемся И ЕСЛИ мы купаемся, ТО стоит хорошая погода".
Штрих Шеффера для этих же исходных высказываний мог бы выглядеть следующим образом:
"НЕ ВЕРНО, что стоит хорошая погода И мы купаемся" или (по так называемому закону Де Моргана) это равносильно высказыванию:
"НЕхорошая погода ИЛИ мы НЕ купаемся".
В алгебре высказываний есть законы: коммутативный, ассоциативный и дистрибутивный, которые аналогичны законам для множеств.
Чтобы убить двух зайцев, для иллюстрации коммутативного закона воспользуемся примером из книги Клини «Математическая логика»: "Мэри вышла замуж И родила ребенка" равносильно с точки зрения логики тому что "Мэри родила ребенка И вышла замуж". Первый «заяц» связан c синтаксисом коммутативного закона – то есть можно переставлять местами высказывания, а второй «заяц» – с семантикой, при которой перестановка не соответствует общепринятой морали – для приличного общества существенно, какое событие стоит первым. (Это в очередной раз говорит о том, что математическая логика не учитывает [и не в состоянии это сделать!] многих нюансов, имеющих место в практике жизни).
Ассоциативный закон утверждает, что безразлично, в каком порядке мы рассматриваем (истинность) попарных кон'юнкций и диз'юнкций:
"Стоит хорошая погода И мы купаемся И заработали ангину".
"Стоит хорошая погода ИЛИ мы купаемся ИЛИ заработали ангину".
Поскольку очередность выполнения операций в математике часто задают скобками, то ассоциативный закон еще называют законом снятия скобок.
Дистрибутивный закон.
Приведем пример только для «экзотического» случая.
"Стоит хорошая погода ИЛИ мы купаемся И заработали ангину" равносильно высказыванию
"Стоит хорошая погода И мы купаемся ИЛИ стоит хорошая погода И заработали ангину"
Не будем перечислять все возможные законы логики высказываний. Как уже было сказано, они аналогичны законам алгебры множеств. Но важно заметить, что здесь мы вместо слова «равенство» употребляли слово «равносильность». Два сложных высказывания являются равносильными, если они имеют одинаковые ТАБЛИЦЫ ИСТИННОСТИ. В этих таблицах начальные столбцы соответствуют исходным (элементарным) высказываниям, а последний результирующему (сложному) высказыванию. В начальных столбцах проставляются все возможные комбинации истинности элементарных высказываний, а в последнем истинность сложного высказывания.
Для каждой комбинации отдельная строка.
Для последнего примера таблицы будут одинаковыми для левой и правой части дистрибутивного закона:
хорошая погода | мы купаемся | заработали ангину | РЕЗУЛЬТАТ
0 | 0 | 0 | 0
0 | 0 | 1 | 0
0 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 0 | 0 | 1
1 | 0 | 1 | 1
1 | 1 | 0 | 1
1 | 1 | 1 | 1
Касательно математической логики, как и множеств, есть люди, несогласные с рядом ее законов. Прежде всего это опять законы исключенного третьего и противоречия. То есть заполнение очевидных таблиц истинности для конструктивистов (интуиционистов) неочевидно!
Эта книга – о «выдающихся» ворах и грабителях. О тех, кто прославил свое имя на крови либо благодаря хитроумным комбинациям и отчаянной наглости. Для них мало значила человеческая жизнь, на первом месте стоял азарт и жажда наживы.Как они становились преступниками и как их ловили? Что привело их к воровству и к чему привело воровство? Как наказывает грабителей суд человеческий и как карает их суд Божий?..Станьте соучастником захватывающих авантюр, где сплелось все: воровская любовь и любовь к воровству; страшное, смешное, глупое и грустное; преступление и наказание…
Эта книга – о крупнейших российских предпринимателях, в прошлом сильных мира сего, ставших изгоями в своем отечестве. Одни из них вынуждены скрываться на чужбине, другие отбывают или уже отбыли срок в местах заключения за преступления реальные или мнимые, третьих нет в живых. Эти люди – первопроходцы российского бизнеса, люди неоднозначные, но, безусловно, яркие, сильные и умные. Но, по сути, сегодня им нет места в нашем обществе.Почему и как это случилось – расскажет наша книга. Впечатляющие истории, собранные здесь, – не огульные обвинения или нападки на предпринимателей, а рассказ о живых людях и сложных, неоднозначных, порой печальных и постыдных сторонах и свойствах российского бизнеса, судопроизводства и власти.Книга для широкого круга читателей.
В этой книге собраны опубликованные в разное время в журнале «Коммерсантъ. Деньги» в рубрике «Story» истории жизни тех, кто в разные времена повелевал умами, кошельками, душами, да и жизнями тысяч, а то и миллионов людей. Наши герои жили в разные эпохи, их свершения можно оценивать по-разному - кто-то оставил после себя выдающиеся произведения искусства или россыпь новых технологий, кто-то - основополагающую теорию или глобальную идею, а кто-то - развалины мифа или потрясающую по размаху, эффективности и жестокости преступную империю.
Третья книга - сборник статей из рубрики STORY журнала «Коммерсантъ ДЕНЬГИ» - в отличие от первых двух обращается не к судьбам отдельных людей или компаний, а к событиям глобального масштаба, раз и навсегда изменившим уклад, традиции, сами основы существования целых обществ, стран и континентов.Неудивительно, что весьма драматичную роль во всех этих историях играли деньги, причем порой самым неожиданным образом. Кто на самом деле разбогател на золотой лихорадке? Чьим экономическим интересам угрожал Павел I? Как быстро можно уничтожить весь Интернет? Ответы на эти и другие вопросы вы найдете в книге «знаковые моменты».Повседневная жизнь обычно проплывает перед нашими глазами неторопливой чередой малозначимых событий и почти бессмысленной суеты.
Продолжение бизнес-бестселлеров «Бизнес есть бизнес» и «Бизнес есть бизнес 2», победителей премии «Бизнес-книга года» журнала «Свой бизнес» 2006 года. Эта книга о тех, кто всегда понимался с колен, какой бы сильный удар ни пришлось им получить, о тех, кто всегда готов начинать свое дело с нуля снова и снова, не умеет сдаваться, ломаться под давлением обстоятельств. Герои книги уверены, что свой шанс преуспеть есть практически у каждого. Что для этого необходимо? Да ничего нового - вера в себя, упорный труд и толика удачи.
Эта книга – о самых масштабных или просто жутких катастрофах, когда-либо обрушивавшихся на человечество.Эпидемии и стихийные бедствия, войны и аварии с завидной регулярностью разрушали и разрушают, убивали и убивают, ставя под угрозу само существование человечества или, по крайней мере, значительной его части.Что удивительно, самые разнообразные беды и напасти обнаруживают пугающе сходные характеристики… Как итог, пять глав, которые авторы объединили в книгу, по сути, повествуют о фактическом противостоянии человека и окружающего мира.
В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.
Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.
Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения.В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике.
Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.
Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.
На протяжении многих веков симметрия оставалась ключевым понятием для художников, архитекторов и музыкантов, однако в XX веке ее глубинный смысл оценили также физики и математики. Именно симметрия сегодня лежит в основе таких фундаментальных физических и космологических теорий, как теория относительности, квантовая механика и теория струн. Начиная с древнего Вавилона и заканчивая самыми передовыми рубежами современной науки Иэн Стюарт, британский математик с мировым именем, прослеживает пути изучения симметрии и открытия ее основополагающих законов.