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

Исследовательская работа

на тему: “Люди,сотворившие компьютерный мир ”

Работу выполнил(и):

СТУДЕНТ группы м-10
Овчинников Кирилл Михайлович

Преподаватель:

Ф.И.О.

                                                                                       Чумичева Е.А.

 

 

г.Кириши

2020год

Содержание

 

1.Ученые ………………………..……………………………………….№ стр.3-20

2 .Основатели …………………………………………………………….№стр.21-29

3. Результат………………………………………………………………. № стр.30

4. Литература …………………………..……………………………….№ стр.31

 

Ученые

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

Формулировка теоремы Котельникова:

Если аналоговый сигнал имеет финитный (ограниченной по ширине) спектр, то он может быть восстановлен однозначно и без потерь по своим дискретным отсчетам, взятым с частотой, строго большей удвоенной верхней частоты. Описывается идеальный случай, когда время длительности сигнала бесконечно. Он не имеет прерываний, но имеет ограниченный спектр (по теореме Котельникова). Однако математическая модель, описывающая сигналы с ограниченным спектром, на практике хорошо применима и к реальным сигналам. На основании теоремы Котельникова может быть реализован способ дискретной передачи непрерывных сигналов

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

С именем В.А.Котельникова связано важнейшее сегодня направление в этих науках - цифровая обработка сигналов. "Теорема Котельникова" входит в азбуку любого инженера, работающего в области цифровых систем связи, радиолокации, телевидения и т.д. Теория потенциальной помехоустойчивости, созданная Котельниковым, определяет качество любых каналов связи - от традиционных радиорелейных линий и станций до самых современных волоконно-оптических и спутниковых линий связи, сотовых радиотелефонов и скрытной связи на шумоподобных сигналах. Прочно связано с именем В.А.Котельникова новое направление в освоении космоса - планетная радиолокация. Благодаря ей удалось существенно уточнить астрономическую единицу и размеры нашей Солнечной системы, и тем самым обеспечить возможности точного вывода космических аппаратов на орбиты планет и их мягкой посадки, получения радиолокационных изображений ландшафтов планет, даже таких закрытых облаками, как Венера. Без преувеличения можно сказать, что деятельность В.А.Котельникова составляет эпоху в отечественной и мировой радиотехнике и информатике.

Академик В.А.Котельников родился в Казани, в семье университетского профессора - известного математика - Александра Владимировича Котельникова. В 1926 году Владимир Александрович поступил в Московское высшее техническое училище им. Баумана, на последних курсах перешел в отпочковавшийся от МВТУ Московский энергетический институт, который и окончил в 1930 году, получив звание инженера-электрика. Однако научная деятельность В.А.Котельникова началась раньше - в 1930 году в Научно-исследовательском институте связи Красной армии, куда он был зачислен в качестве инженера. Далее, в течение 10 лет, с 1931 г. по 1941 г. В.А.Котельников занимался педагогической деятельностью на кафедре радиотехники Московского энергетического института и одновременно с этим вел научную работу в Центральном научно-исследовательском институте связи народного комиссариата связи СССР. Это был чрезвычайно плодотворный период в научной деятельности Владимира Александровича. Так, в 1932 г. в своей работе "О пропускной способности "эфира" и проволоки в электросвязи" он формулирует знаменитую теорему отсчетов, которая носит его имя. Эта теорема показывает, как непрерывную функцию с ограниченным спектром можно представить в виде суммы дискретных отсчетов. Теорема Котельникова по существу является одной из основополагающих в теории цифровых систем, и ее значение выходит далеко за рамки теории связи, составляя один из краеугольных камней науки информатики.

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

Джон фон Нейман (3 декабря 1903, Будапешт - 8 февраля 1957, Вашингтон) — американский математик и физик. Труды по функциональному анализу, квантовой механике, логике, метеорологии. Внес большой вклад в создание первых ЭВМ и разработку методов их применения. Его теория игр сыграла важную роль в экономике.

Янош фон Нейман был старшим из трех сыновей преуспевающего будапештского банкира Макса фон Неймана. Позже, в Цюрихе, Гамбурге и Берлине, Яноша называли Иоганном, а после переезда в США - Джоном (дружески - Джонни). Фон Нейман был продуктом той интеллектуальной среды. из которой вышли такие выдающиеся физики, как Эдвард Теллер, Лео Сциллард, Денис Габор и Юджин Вигнер. Джон выделялся среди них своими фенеменальными способностями. В 6 лет он перебрасывался с отцом остротами на древнегреческом, а в 8 освоил основы высшей математики. В юные годы Янош занимался дома со специально приглашенными педагогам, а в возрасте 10 лет поступил в одно из лучших учебных заведений того времени - лютеранскую гимназию. Еще в школе фон Нейман заинтересовался математикой. Гения в фон Неймане распознал преподаватель математики Ласло Ратц. Он и помог ему развить его дарование. Ратц ввел фон Неймана в небольшой, но блестящий кружок будапештских математиков того времени, который возглавлял духовный отец венгерских математиков Липот Фейер. Помогать фон Неймону было поручено ассистенту Будапештского университета М. Фекете: а общее руководство взял на себя выдающийся педагог: профессор Йожеф Кюршак. Атмосфера универсиета и беседы с математиками и внимание со стороны Фейера помогло сформироваться фон Нейману как математику, также как изучение университетских курсов. К моменту получения аттестат зрелости Янош фон Нейман пользовался у математиков репутацией молодого дарования. Его первая печатная работа была написана совместно с М. Фекете "О расположении нулей некоторых минимальных полиномов"(1921) вышла в свет, когда фон Нейману было 18 лет. Вскоре фон Нейман окончил гимназию. Макс фон Нейман не считал профессию математика достаточно надежной, способной обеспечить будущее сына. Он настоял на том, чтобы Янош приобрел еще и профессию инженера-химика. Поэтому Янош поступил в Федеральную высшую техническую школу в Цюрихе, где изучал химию, и одновременно на математический факультет Будапештского университета. Благодаря такому совмещению, у него было свободное посещение лекций, поэтому он появлялся в Будапеште только в конце семестра, для сдачи экзаменов. Потом он уезжал в Цюрих или Берлин, но не для того чтобы изучать химию, а для подготовки к печати своих работ, бесед с коллегами-математиками, посещения семинаров. Фон Нейман считал, что о этот период он очень много узнал у двух математиков: Эрхарда Шмидта и Германа Вейля. Когда Вейлю поднадобилось отлучиться во время семестра, то чтение курса за него продолжил фон Нейман.

Достижения

Первая работа фон Неймана по аксиоматической теории множеств вышла в свет в 1923 году. Она называлась "К введению трансфинитных ординальных чисел". Она была опубликована в трудах Сегедского университета. Фон Нейман разработал свою систему аксиом и изложил ее в докторской диссертации и двух статьях. Диссертация сильно заинтересовала А. Френкеля, которому поручили отрецензировать ее. Несмотря на то, что он не смог разобраться в ней полностью, он пригласил к себе фон Неймана. Он Френкель попросил его написать популярную статью, в которой излагались бы новый подход к проблеме и следствия, извлекаемые из его. Фон Нейман написал такую работу, назвав ее "К вопросу об аксиоматическом построении теории множеств". Она была опубликована в 1925 году а "Journal fuer Mathematik". Фон Нейман построил замечательную систему аксиом теории множеств, такую же простую, как гильбертовая для евклидовой геометрии. Система аксиом фон Неймана занимает немногим более одной страницы печатного текста. В 1925 фон Нейман получает диплом инженера-химика в Цюрихе и успешно защищает диссертацию "Аксиоматическое построение теории множеств" на звание доктора философии в Будапештском университете. Молодой доктор отправляется совершенствовать свои знания в Геттингенский университет, где в то время читали лекции люди, чьи имена стали гордостью науки: К. Рунге, Ф. Клейн, Э. Ландау, Д. Гильберт, Э. Цермело, Г. Вейль, Г. Минковский, Ф. Франк, М. Борн и другие. Приглашенными лекторами были Г. Лоренц, Н. Бор, М. Планк, П. Эренфест, А. Пуанкаре, А. Зоммерфельд...

На фон Неймана очень большое влияние оказало общение с Давидом Гильбертом. В Геттингене фон Нейман познакомился с идеями зарождавшейся тогда квантовой механики, ее математическое обоснование сразу захватило. Совместно с Д. Гильбертом и Л. Нордгеймом фон Нейман написал статью "Об основаниях квантовой механики". Потом выпускает серию работ "Математическое обоснование квантовой механики", "Теоретико-вероятностное построение квантовой механики" и "Термодинамика квантовомеханических систем". В работах фон Неймана квантовая механика обрела свой естественный язык - язык операторов, действующих в гильбертовом пространстве состояний. В его работах была подведена прочная математическая основа под статистическую интерпретацию квантовой механики, введено новое понятие матрицы плотности, доказан квантовый аналог H-теоремы Больцмана и эргодической теоремы. На основе этих работ фон Нейман начал другой цикл - по теории операторов, благодаря которым он считается основоположником современного функционального анализа. Фон Нейман показал, что "слишком вольное" обоснование теории {Дирака} можно обосновать в терминах аксиоматической теории гильбертова пространства и спектральной теории операторов.

В 1927 году фон Нейман становится приват-доцентом Берлинского, а с 1929 года - Гамбургского университета.

В 1937 году брак фон Неймана распался, а из очередной поездки на летние каникулы в Будапешт в 1938 фон Нейман вернулся со второй женой - Кларой Дан. Позднее, во время второй мировой войны, Клара фон Нейман стала программисткой. Ей принадлежат первые программы для электронынх вычислительных машин, в разработку и создание которых её муж внёс большой вклад.

Во второй половине 1930-х годов совместно с Ф. Дж. Мюрреем Нейман опубликовал ряд работ по кольцам операторов, положив начало так называемой алгебре Неймана, которая впоследствии стала одним из главных инструментов для квантовых исследований. В 1937 Нейман принял гражданство США. Во время Второй мировой войны служил консультантом в атомном центре в Лос-Аламосе, где рассчитал взрывной метод детонации ядерной бомбы и участвовал в разработке водородной бомбы. В марте 1955 стал членом американской комиссии по атомной энергии.

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

Нейману принадлежат новаторские работы по компьютерной теории, связанные с логической организацией компьютеров, проблемами функционирования машинной памяти, имитацией случайности, проблемами самовоспроизводящихся систем. В 1944 Нейман присоединился к группе Мокли и Эккерта, занятой созданием машины ENIAC, в качестве консультанта по математическим вопросам. Тем временем в группе началась разработка новой модели, EDVAC, которая, в отличие от предыдущей, могла бы хранить программы в своей внутренней памяти. В 1945 Нейман опубликовал «Предварительный доклад о машине EDVAC», в котором описывалась сама машина и ее логические свойства. Описанная Нейманом архитектура компьютера получила название «фон Неймановской», и таким образом ему было приписано авторство всего проекта. Это вылилось впоследствии в судебное разбирательство о праве на патент и привело к тому, что Эккерт и Мокли покинули лабораторию и основали собственную фирму. Тем не менее «архитектура фон Неймана» была положена в основу всех последующих моделей компьютеров. В 1952 Нейман разработал первый компьютер, использующий программы, записанные на гибком носителе, MANIAC I.

Одной из утопических идей Неймана, для разработки которой он предлагал использовать компьютерные расчеты, было искусственное потепление климата на Земле, для чего преполагалось покрыть темной краской полярные льды чтобы уменьшить отражение ими солнечной энергии. Одно время это предложение всерьез обсуждалось во многих странах. В 1956 Комиссия по атомной энергии наградила Неймана премией Энрико Ферми за выдающийся вклад в компьютерную теорию и практику.

Многие идеи фон Неймана ещё не получили должного развития, например, идея о взаимосвязи уровня сложности и способности системы к самовоспроизведению, о существовании критического уровня сложности, ниже которого система вырождается, а выше обретает способность к самовоспроизведению. В 1949 выходит работа "О кольцах операторов. Теория разложения".

Джон фон Нейман был удостоен высших академических почестей. Он был избран членом Академии точных наук (Лима, Перу), Академии деи Линчеи (Рим, Италия), Американской академии искусств и наук, Американского философского общества, Ломбардского института наук и литературы, Нидерландской королевской акдаемии наук и искусств, Национальной академии США, почетным доктором многих университетов США и других стран.

Буль Джордж

Буль Джордж (George Boole) (2 ноября 1815, Линкольн, Англия — 8 декабря 1864, Баллинтемпль, Корк, Ирландия) — британский математик, один из основоположников математической логики. Разработал алгебру логики (булеву алгебру) («Исследование законов мышления», 1854), основу функционирования цифровых компьютеров.

Джордж Буль родился в бедной рабочей семье. Первые уроки математики получил у отца и, хотя посещал местную школу, его можно считать самоучкой. В 12 лет он уже знал латынь, затем овладел греческим, французским, немецким и итальянским языками. С 16 лет преподавал в деревенской школе, а в 20 открыл собственную школу в Линкольне. В редкие часы досуга Буль зачитывался математическими журналами Механического института, интересовался работами математиков прошлого — Ньютона, Лапласа, Лагранжа, проблемами современной алгебры.

Начиная с 1839 года, Буль стал посылать свои работы в кембриджский математический журнал. Его первая работа «Исследования по теории аналитических преобразований» касалась дифференциальных уравнений, алгебраических проблем линейной трансформации и концепции инвариантности. В своем исследовании 1844 года, опубликованном в «Философских трудах Королевского общества», он коснулся проблемы взаимодействия алгебры и исчисления. В том же году молодой ученый был награжден медалью Королевского общества за вклад в математический анализ.

Вскоре после того, как Буль убедился, что его алгебра вполне применима к логике, в 1847 году он опубликовал памфлет «Математический анализ логики», в котором высказал идею, что логика более близка к математике, чем к философии. Эта работа была высоко оценена английским математиком Августом де Морганом. Благодаря этой работе Буль в 1849 году получил пост профессора математики Куинз-колледжа в графстве Корк, несмотря на то, что он даже не имел университетского образования.

В 1854 году он опубликовал работу «Исследование законов мышления, базирующихся на математической логике и теории вероятностей». Работы 1847 и 1854 годов дали рождение алгебре логики, или булевой алгебре. Буль первым показал, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают лишь два варианта ответов — истина или ложь, нуль или единица. Он придумал систему обозначений и правил, пользуясь которыми можно было закодировать любые высказывания, а затем манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями — И, ИЛИ, НЕ, которые позволяли производить сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, Булю удалось описать двоичную систему счисления. В своей работе «Законы мышления» (1854) Буль окончательно сформулировал основы математической логики. Он также попытался сформулировать общий метод вероятностей, с помощью которого из заданной системы вероятных событий можно было бы определить вероятность последующего события, логически связанного с ними.

В 1857 году Буль был избран членом Королевского общества. Его работы «Трактат о дифференциальных уравнениях» (1859) и «Трактат о вычислении предельных разностей» (1860) оказали колоссальное влияние на развитие математики. В них нашли свое отражение наиболее важные открытия Буля. Идеи Буля нашли применение в использующих двоичный код цифровых компьютерах и в телефонной связи.

Александр Степанович Попов родился 4 (16) марта 1859 года в поселении при Богословском заводе Турьинские рудники Верхотурского уезда Пермской губернии[2]. В семье его отца, священника Максимовской церкви Турьинских рудников Стефана Петровича Попова (1827—1897),

Прибор Попова (грозоотметчик) возник из построенной им в 1890 году установки для учебной демонстрации опытов Герца[12]:29. Описание первой установки не сохранилось, а дату её создания связывают с началом цикла лекций Попова под названием «Новейшие исследования о соотношении между световыми и электрическими явлениями»[9]:59[25]. Вначале было неудобно то, что искра в приёмной части установки наблюдалась через лупу. К 1894 году демонстрационная установка представляла собой два параболических рефлектора высотой около 40 см — в фокусе одного находился вибратор, состоящий из двух опущенных в масло металлических цилиндров и соединённый с катушкой Румкорфа, в фокусе другого располагались два таких же цилиндра, выполнявших роль резонатора. В ряде случаев в качестве индикатора принимаемых электромагнитных волн при демонстрации в затемнённом помещении использовалась так называемая «трубка Гейслера». До весны 1894 года ассистентом Попова в этих опытах был Н. Н. Георгиевский[11]:56—58, 63.

Грозоотметчик Попова (фото из издания 1907 года)

Весной 1895 года Попов занялся воспроизводством опытов Лоджа[* 11], прочитав о них в журнале The Electrician[en], — он добивался постоянства работы когерера[27]:257. Когерер Бранли — Лоджа представлял собой стеклянную трубку с металлическими опилками, которые резко увеличивали свою проводимость при электрическом воздействии. Для восстановления малой проводимости когерер нужно было встряхнуть, нарушив контакт между опилками. Лодж использовал ударник, управляемый вручную или пружинным механизмом. Попов и его ассистент П. Н. Рыбкин ввели в схему реле, включающее при срабатывании когерера звонок, ударник которого на обратном ходе встряхивал когерер. В дальнейших опытах с прибором применялись заземление и мачтовая антенна, предложенная в 1893 году

Прибор впервые демонстрировался Поповым 25 апреля (7 мая по новому стилю) 1895 года на заседании РФХО. Тема лекции была: «Об отношении металлических порошков к электрическим колебаниям». Первое сообщение об этой лекции появилось в газете «Кронштадтский вестник» 30 апреля 1895 года[* 13]. Перед отъездом в Нижний Новгород Попов передал прибор в Лесной институт. Там он был испытан в соединении с громоотводом летом 1895 года Г. А. Любославским. Профессор Д. А. Лачинов установил прибор с подключённой к нему пишущей катушкой братьев Ришар на метеостанции института для регистрации атмосферных разрядов и сначала дал ему название «разрядоотметчик»[8]:24[29]. Протокол заседания РФХО был опубликован в журнале РФХО в августе 1895 года[30], схема и подробное описание прибора появились в журнале РФХО в январе 1896 года. В статье, помеченной Поповым декабрём 1895 года, говорится о пригодности прибора «как для лекционных целей, так и для регистрирования электрических пертурбаций, происходящих в атмосфере», и выражается надежда, что «прибор, при дальнейшем усовершенствовании его, может быть применён к передаче сигналов на расстояния при помощи быстрых электрических колебаний, как только будет найден источник таких колебаний, обладающий достаточной энергией»[31].

В учебный сезон 1895—1896 годов Попов не занимался прибором, а с января 1896 года заинтересовался открытием Рентгеном X-лучей[27]:258. В феврале 1896 года вместе с С. С. Колотовым изготовил рентгеновскую трубку, собрал установку и сделал ряд снимков, в том числе своей руки[8]:37. По воспоминаниям В. К. Лебединского, Попов в 1896 году «очень много времени» отдал рентгеновским лучам[32]:48.

Второй образец приёмника, подготовленного для лекционных целей[27]:258, был показан Поповым в действии с источником электромагнитных волн (вибратором Герца) 19 января 1896 года на заседании Кронштадтского отделения РТО[13][33]. Затем был показ на заседании РФХО 12 марта 1896 года[34], где демонстрировались оптические опыты с лучами Герца[⇨].

2 апреля 1896 года в Электротехническом институте ассистент профессора физики В. В. Скобельцын делает доклад о приборе Попова и демонстрирует приём электромагнитных волн от вибратора Герца из соседнего здания на изготовленный им самим приёмник по несколько видоизменённой схеме Попова[35]. На схеме Скобельцына в когерерной цепи показаны две спирали из провода с большим сопротивлением, подключённые последовательно к выводам когерера[9]:66—73.

Осенью 1896 года в газетах появляются краткие сообщения о работах Г. Маркони[36]. В октябре публикуются подробные материалы в журналах Nature и The Electrician о приборах Боса и Маркони[37].

 Лександр Белл родился 3 марта 1847 года в шотландском городе Эдинбург[8]. Слово Грейам он добавил к своему имени позже, как знак уважения к другу своей семьи, Александру Грейаму. Несколько близких родственников Белла, в частности его дед, отец и дядя, были профессиональными риторами. Отец будущего изобретателя, Александр Мелвилл Белл, даже опубликовал трактат об искусстве красноречия.

В возрасте 13 лет Белл окончил Королевскую школу в Эдинбурге, в возрасте 16 лет получил должность учителя красноречия и музыки в Академии Уэстон-Хауз. Один год Александр учился в Эдинбургском университете, потом переехал в английский город Бат.

Вирт разработал или участвовал в разработке языков программирования: Euler, Algol-W, PL/360, Pascal, Modula-2, Oberon, Oberon-2, Component Pascal. Наиболее известная его разработка, безусловно — язык программирования Паскаль, оказавший огромное влияние на несколько поколений программистов и ставший базой для создания большого числа языков программирования. Ещё одна фундаментальная работа, участником которой стал Вирт — разработка технологии структурного программирования, ставшая в программировании, безусловно, самой сильной формализацией как минимум 1970-х — 1980-х годов. Эта технология разработана, обоснована и внедрена в жизнь всего тремя выдающимися людьми — Виртом, Дейкстрой и Хоаром.

Комментаторы не раз отмечали, что идеи Вирта зачастую опережали развитие компьютерной индустрии на годы, иногда — на десятилетия. Разработанная в начале 1970-х система Pascal-P, предполагающая компиляцию программ на Паскале в универсальный «пи-код» и реализацию на любой платформе интерпретатора пи-кода (одна из известных её реализаций — UCSD-Pascal Университета Сан-Диего), которая позволяла с минимальными затратами переносить Паскаль-системы на новые аппаратные платформы, более чем на два десятилетия опередила идеи интерпретатора промежуточного кода, реализованные в системах, поддерживающих исполнение программ на языке Java и в платформе.NET. Идея совмещения системы программирования со сборщиком мусора, освобождающим программиста от необходимости отслеживать время жизни объектов, динамически размещённых в памяти, была реализована в 1988 году в языке и операционной системе Оберон. Обе эти идеи были использованы разработчиками Java и.NET во второй половине 1990-х годов.

Август Де Морган родился в Мадурае, Индия, в 1806 году. Его отцом был подполковник Джон Де Морган (1772–1816), занимавший различные должности в Ост-Индской компании. Его мать, Элизабет Додсон (1776–1856), была потомком Джеймса Додсона, который вычислил таблицу антилогарифмов, то есть чисел, соответствующих точным логарифмам. Огастес Де Морган ослеп на один глаз через месяц или два после рождения. Семья переехала в Англию, когда Августу было семь месяцев. Поскольку его отец и дед оба родились в Индии, Де Морган имел обыкновение говорить, что он не был ни англичанином, ни шотландцем, ни ирландцем, а был британцем, «непривязанным», используя технический термин, применяемый к студенту Оксфорда или Кембриджа, который не состоит ни в одном из колледжей

Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары логических операций при помощи логического отрицания. Названы в честь шотландского математика Огастеса де Моргана. В краткой форме звучат так:

Отрицание конъюнкции есть дизъюнкция отрицаний. Отрицание дизъюнкции есть конъюнкция отрицаний. Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения:

не (a и b) = (не a) или (не b)

не (a или b) = (не a) и (не b)

В математике это выглядит так:{\displaystyle {\begin{matrix}\neg {(a\wedge b)}=\neg {a}\vee \neg {b}\\\neg {(a\vee b)}=\neg {a}\wedge \neg {b}\end{matrix}}}или по-другому: {\displaystyle {\begin{matrix}{\overline {(a\wedge b)}}={\overline {a}}\vee {\overline {b}}\\{\overline {(a\vee b)}}={\overline {a}}\wedge {\overline {b}}\end{matrix}}}

В теории множеств:

{\displaystyle {\begin{matrix}{\overline {A\cap B}}={\overline {A}}\cup {\overline {B}}\\{\overline {A\cup B}}={\overline {A}}\cap {\overline {B}}\end{matrix}}} или по-другому: {\displaystyle {\begin{matrix}(A\cap B)^{C}=A^{C}\cup B^{C},\\(A\cup B)^{C}=A^{C}\cap B^{C}.\end{matrix}}}

Эти правила также действительны для множества элементов (семейств):

{\displaystyle {\overline {\bigcap _{i\in I}A_{i}}}=\bigcup _{i\in I}{\overline {A_{i}}}} и {\displaystyle {\overline {\bigcup _{i\in I}A_{i}}}=\bigcap _{i\in I}{\overline {A_{i}}}} В исчислении предикатов:

{\displaystyle \neg \forall x\,P(x)\equiv \exists x\,\neg P(x),}

{\displaystyle \neg \exists x\,P(x)\equiv \forall x\,\neg P(x).}Следствия:

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

{\displaystyle a\wedge b=\neg (\neg {a}\vee \neg {b})}

{\displaystyle a\vee b=\neg (\neg {a}\wedge \neg {b})}В виде теоремы:

Если существует суждение, выраженное операцией логического умножения двух или более элементов, т. е. операцией «и»: {\displaystyle {(A\wedge B)}} , то для того, чтобы найти обратное {\displaystyle {\neg (A\wedge B)}} от всего суждения, необходимо найти обратное от каждого элемента и объединить их операцией логического сложения, т. е. операцией «или»: {\displaystyle (\neg {A}\vee \neg {B})} . Закон работает аналогично в обратном направлении: {\displaystyle \neg (A\vee B)=(\neg {A}\wedge \neg {B})}

 

 

Основатели

Facebook Самая популярная во всем мире социальная сеть Facebook, появилась в 2004 году. В то время она сильно отличалась от нынешнейсети. Первые годы своего существования «TheFacebook», как он тогданазывался, был доступен только студентам, сперва Гарвардского университета, а позже и некоторых других учебных заведений США. С 2006 года, уже «Facebook» стал сайтом, доступным для пользователей со всего мира, в возрасте от 16 лет. В 2016 году число активных юзеров сети составило 1,71 миллиарда.Социальная сеть Facebook основана Марком Цукербергом и его друзьями в одной из комнат общежития для студентов Гарварда. Благодаря своему стартапу Цукерберг в возрасте 23 года стал самым богатым миллиардером в мире.

YouTube

Самый крупный в мире видеохостинг YouTube, берет начало своей истории с 2005 года из небольшого городка Сан-Бруно штата Калифорния (США). Примененная в нем технология Flash Video (FLV), которая позволяла получить относительно качественное видео с минимальным объемом передаваемых данных, быстро обрела популярность. Изначально, YouTube использовался как некоммерческая площадка для развлечений. Первое рекламное объявление на ресурсе было размещено с извинениями перед посетителями и содержало текст – «Не хватает денег заплатить водопроводчику». Уже в конце 2006 года, компания Google купила у разработчиков YouTube за 1,65 миллиарда долларов.

Основали видеохостинг, трое бывших сотрудников компании PayPal: Чад Хёрли, Стив Чен и Джавед Карим. По версии Wikipedia, идея создания YouTube принадлежит Чаду Хёрли, который не смог передать по интернету видео своему другу, после чего в голове зародилась мысль о создании проекта. Чад оставался в YouTube до октября 2010 года, после чего ушел и, ко всеобщему удивлению, занялся созданием мужской одежды для программистов.

Стив Чен - главный технический директор YouTube. До встречи с Чадом Хёрли и Джаведом Каримом в PayPal, Стив работал в Facebook (один из первых работников). Впоследствии Стив Чен стал акционером Google и перешел работать туда же в 2014 году. Акции, которые он закупил у компании, через год взлетели в цене до 365 миллионов долларов.

Еще один основатель YouTube Джавед Карим, после продажи проекта Google, получив хороший пакет акций этой компании, поступил в аспирантуру Стэнфордского университета. Видео с Джаведом является первой публикацией на YouTube. Посмотреть ролик можно в его профиле на YouTube jawed (единственная публикация).

   Instagram

История создания приложения Instagram началась вовсе не с Instagram. В 2010 году в Сан-Франциско, Кевин Систром и Майк Кригер ломали голову над реализацией приложения Burbn. Парни закончили свое приложение и обнаружили, что оно слишком перенасыщено функционалом и усложнено. Не имея желания и сил начинать все сначала Кевин и Майк вырезали из Burbn все, кроме фотографий, лайков и комментариев. То, что осталось впоследствии стало называться Instagram. В 2011 году в приложение добавили хештеги, фильтры и некоторые другие возможности. До 2012 года Instagram был доступен только для устройств Apple. Появившееся в этом году приложение для платформ Android, за сутки было скачано более миллиона раз. Весной 2012 года Instagram выкупила Facebook Inc, заплатив за фотоприложение 300 миллионов долларов деньгами и около 700 миллионов долларов акциями компании.

Главное лицо приложения Кевин Систром, до начала разработки Burbn работал в Google. После того, как зародилась идея, Кевин бросил работу и стал работать над новым проектом. Позже к нему присоединился Майк Кригер. В первые две недели работы Систром сумел привлечь 500 тысяч долларов инвестиций. После продажи Instagram, Кевин продолжил работу в новой компании, под началом Facebook

Вконтакте

Социальная сеть «Вконтакте» была запущена в октябре 2006 года. Изначально ВК позиционировалась как социальная сеть для студентов и выпускников Российских ВУЗ'ов. По данным 2017 года, на ресурсе зарегистрировано более 410 миллионов аккаунтов, а ежедневная активная аудитория сайта составляет 87 миллионов пользователей. Вконтакте является крупнейшей социальной сетью в Европе.

Разработчиком социальной сети является Павел Дуров. До появления Вконтакте, Павел вел сайт durov.ru, где публиковал различные статьи и решения экзаменационных предметов. На тот момент Дуров был известен в узких студенческих кругах. К созданию ВК его подтолкнуло желание сделать ресурс, где могли бы общаться студенты различных ВУЗ'ов страны. Вскоре, узнав о появившейся в Америке сети Facebook, Дуров решил создать её аналог в России. Как вы знаете, результат удался!

Родители — Конуэй Бернерс-Ли и Мэри Ли Вудс — были математиками и трудились над созданием одного из первых компьютеров «Марк I».

Учился в школе Эмануэль в Уондсуэрте, затем в оксфордском Королевском колледже. Там он собрал свой первый компьютер на базе процессора M6800 с телевизором вместо монитора. Один раз Тим и его друг были пойманы при проведении хакерской атаки, за это они были лишены права пользоваться университетскими компьютерами.

После окончания Оксфордского университета в 1976 году со степенью бакалавра физики с отличием Бернерс-Ли поступил на работу в компанию «Plessey Telecommunications Ltd» в графстве Дорсет, где проработал два года, занимаясь в основном системами распределённых транзакций.

В 1978 году Бернерс-Ли перешёл в компанию «D.G Nash Ltd», где занимался программами для принтеров и создал подобие многозадачной операционной системы.

Затем он полтора года проработал в Европейской лаборатории по ядерным исследованиям ЦЕРН (Женева, Швейцария) консультантом по программному обеспечению. Именно там он для собственных нужд написал программу Enquire, которая использовала случайные ассоциации и заложила концептуальную основу для Всемирной паутины.

С 1981 по 1984 год Тим Бернерс-Ли работал в компании «Image Computer Systems Ltd» системным архитектором.

В 1984 году он получил стипендию в CERN и занялся там разработкой распределённых систем для сбора научных данных. В это время он работал над системой «FASTBUS» и разработал свою систему Remote Procedure Call. В 1989 году, работая в CERN, Бернерс-Ли предложил проект, известный как Всемирная паутина (англ. World Wide Web). Проект подразумевал публикацию гипертекстовых документов, связанных между собой гиперссылками, что облегчило бы поиск и консолидацию информации. Проект Паутины был предназначен для учёных CERN и первоначально использовался во внутренней сети CERN. Для осуществления проекта Тимом Бернерсом-Ли (совместно с его помощниками) были изобретены идентификаторы URI (и, как частный случай, URL), протокол HTTP и язык HTML. Эти технологии легли в основу современной Всемирной паутины. В период с 1991 по 1993 год Бернерс-Ли усовершенствовал технические спецификации стандартов и опубликовал их.

В рамках проекта Бернерс-Ли написал первый в мире веб-сервер «httpd» и первый в мире гипертекстовый веб-браузер для компьютера NeXT, называвшийся «WorldWideWeb» (позднее «Nexus», чтобы избежать путаницы между названием технологии («Всемирн