Основи алгоритмізації та програмування (Циммерман О.В.)

Active Oberon — типобезопасный модульный объектно-ориентированный многопоточный язык программирования общего назначения, разработанный в 1996 — 1997 гг. группой проф. Гуткнехта^[de] в Швейцарской высшей технической школе Цюриха (ETHZ) с целью введения в язык Оберон свойств для выражения параллелизма посредством активных объектов^[2

C++ — компилируемый, статически типизированный язык программирования общего назначения.

Поддерживает такие парадигмы программирования, как процедурное программирование, объектно-ориентированное программирование, обобщённое программирование, обеспечивает модульность, раздельную компиляцию, обработку исключений, абстракцию данных, объявление типов (классов) объектов, виртуальные функции. Стандартная библиотека включает, в том числе, общеупотребительные контейнеры и алгоритмы. C++ сочетает свойства как высокоуровневых, так и низкоуровневых языков.^[1][2] В сравнении с его предшественником — языком C, — наибольшее внимание уделено поддержкеобъектно-ориентированного и обобщённого программирования.^[2]

HTML (от англ. HyperText Markup Language — «язык гипертекстовой разметки») — стандартизированный язык разметки документов во Всемирной паутине. Большинство веб-страниц содержат описание разметки на языке HTML (или XHTML). Язык HTML интерпретируется браузерами; полученный в результате интерпретации форматированный текст отображается на экране монитора компьютера или мобильного устройства.

Лисп (LISP, от англ. LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системамилинейных списков символов. Создатель Лиспа Джон Маккарти занимался исследованиями в области искусственного интеллекта (в дальнейшем ИИ) и созданный им язык по сию пору является одним из основных средств моделирования различных аспектов ИИ.

Это один из старейших (наряду с Фортраном и Коболом) используемых по сей день высокоуровневых языков программирования^[1], а также первый из сохранившихся в использовании языков, использующих автоматическое управление памятью и сборку мусора^[2].

Традиционный Лисп имеет динамическую систему типов. Язык является функциональным, но начиная уже с ранних версий обладает также чертами императивности, к тому же, имея полноценные средствасимвольной обработки, позволяет реализовать объектно-ориентированность; примером такой реализации является платформа CLOS.

Является языком системного программирования для так называемых лисп-машин, производившихся в 1980-е годы, например, фирмой Symbolics^[en].

Наряду с языком Ада, Лисп прошёл процесс фундаментальной стандартизации для использования в военном деле и промышленности, в результате чего появился стандарт Common Lisp. Его реализации существуют для большинства платформ.

Object Pascal (с англ. — «Объектный Паскаль») — язык программирования, разработанный в фирме Apple Computer в 1986 годугруппой Ларри Теслера, который консультировался с Никлаусом Виртом. Произошёл от более ранней объектно-ориентированной версии Паскаль^[2], называвшейся Clascal, который был доступен на компьютере Apple Lisa.

PHP – это широко используемый язык сценариев общего назначения с открытым исходным кодом. Говоря проще, PHP это язык программирования, специально разработанный для написания web-приложений (сценариев), исполняющихся на Web-сервере. Аббревиатура PHP означает “Hypertext Preprocessor (Препроцессор Гипертекста)".

В конструктивную математическую логику А. А. Марков вводит понятие «разрешимое высказывание» и связанное с ним понятие «прямое отрицание». В логике А. А. Маркова имеется и другой вид отрицания — усиленное отрицание, относящееся к так называемым полуразрешимым высказываниям.

Кроме материальной и усиленной импликации, при установ­лении истинности которых приходится заботиться об истинности посылки и заключения, А. А. Марков вводит дедуктивную имп­ликацию, определяемую по другому принципу. Дедуктивная имп­ликация «если А, то В»выражает возможность выведения В из А по фиксированным правилам, каждое из которых в применении к верным формулам даст верные формулы. Всякое высказывание, выводимое из истинного высказывания, будет истинным.

Через дедуктивную импликацию А. А. Марков определяет редукционное отрицание (reductio ad absurdum). Редукционное отрицание высказывания А (сформулированного на данном язы­ке) понимается как дедуктивная импликация «если А, то Л», где через Л обозначен абсурд. Это определение отрицания соответ­ствует обычной практике рассуждений математика: математик отрицает ту посылку, из которой вытекает абсурд. Для установ­ления истинности редукционного отрицания высказывания не требуется вникать в смысл этого высказывания. Высказывание, для которого установлена истинность редукционного отрицания, не может быть истинным.

это придание объекту характеристик, которые чётко определяют его концептуальные границы, отличая от всех других объектов.

набор инструкций,(Понятных исполнителю) описывающих порядок действий исполнителя для достижения некоторого результата.

Аристо́тель (др.-греч. Ἀριστοτέλης; 384 до н. э., Стагира, Фракия — 322 до н. э., Халкида, остров Эвбея) — древнегреческий философ. Ученик Платона. С 343 до н. э. — воспитатель Александра Македонского^[1]. В 335/4 г. до н. э.^[2] основал Ликей (др.-греч.Λύκειον Лицей, или перипатетическую школу). Натуралист классического периода. Наиболее влиятельный из философов древности; основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и стиль научного мышления.

Аристотель был первым мыслителем, создавшим всестороннюю систему философии, охватившую все сферы человеческого развития: социологию, философию, политику, логику, физику. Его взгляды на онтологию имели серьёзное влияние на последующее развитие человеческой мысли. Метафизическое учение Аристотеля было принято Фомой Аквинским и развито схоластическим методом. Карл Маркс называл Аристотеля величайшим мыслителем древности^[3].

Транслятор исходного текста программы, написанной на языке ассемблера, в программу на машинном языке.

Визуальное программирование — способ создания программы для ЭВМ путём манипулирования графическими объектами вместо написания её текста.

Вложенный цикл - это цикл, размещённый внутри другого цикла.

Логическое выражение в программировании — конструкция языка программирования, результатом вычисления которой является «истина» или «ложь».

Высказывание - это повествовательное предложение, про которое можно определенно сказать истинно оно или ложно (истина (логическая 1), ложь (логический 0)).

Го́тфрид Ви́льгельм Ле́йбниц 

саксонский философ, логик,математик, механик, физик, юрист, историк, дипломат, изобретатель и языковед. Основатель и первый президент Берлинской Академии наук, иностранный член Французской Академии наук^[13].

Важнейшие научные достижения:

• Лейбниц, независимо от Ньютона, создал математический анализ — дифференциальное и интегральное исчисления (см. исторический очерк), основанные на бесконечно малых^[13].
• Лейбниц создал комбинаторику как науку^[14].
• Он заложил основы математической логики^[5][8].
• Описал двоичную систему счисления с цифрами 0 и 1^[15].
• В механике ввёл понятие «живой силы» (прообраз современного понятия кинетической энергии) и сформулировалзакон сохранения энергии^[5].
• В психологии выдвинул понятие бессознательно «малых перцепций» и развил учение о бессознательной психической жизни^[5].

Лейбниц также является завершителем философии XVII века и предшественником немецкой классической философии, создателем философской системы, получившей название монадология^[16]. Он развил учение об анализе и синтезе^[5][17], впервые сформулировал закон достаточного основания (которому, однако, придавал не только логический (относящийся к мышлению), но и онтологический (относящийся к бытию) смысл: «… ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, — без достаточного основания, почему именно дело обстоит так, а не иначе…»)^[16][18]; Лейбниц является также автором современной формулировки закона тождества^[5][8][17]; он ввёл 

термин «модель»^[5], писал о возможности машинного моделирования функций человеческого мозга^[19]. Лейбниц высказал идею о превращении одних видов энергии в другие^[5], сформулировал один из важнейших вариационных принципов физики — «принцип наименьшего действия» — и сделал ряд открытий в специальных разделах физики^[5][8].

Он первым обратился к вопросу о возникновении российской правящей династии^[20], первым в немецкой историографии обратил внимание на взаимосвязь лингвистических проблем с генеалогией^[20], создал теорию исторического происхождения языков и дал их генеалогическую классификацию, явился одним из создателей немецкого философского и научного лексикона^[5][8].

Лейбниц также ввёл идею целостности органических систем, принцип несводимости органического к механическому и высказал мысль об эволюции Земли^[5].

Дави́д Ги́льберт (нем. David Hilbert; 23 янв

аря 1862 — 14 февраля 1943) — немецкий математик-универсал, внёс значительный вклад в развитие многих областей математики. В 1910—1920-е годы (после смерти Анри Пуанкаре) был признанным мировым лидером математиков. Гильберт разработал широкий спектр фундаментальных идей во многих областях математики, в том числе теорию инвариантов и аксиоматику евклидовой геометрии. Он сформулировал теорию гильбертовых пространств, одну из основ современного функционального анализа^[4].

Декларати́вное программи́рование — это парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается, что представляет собой проблема и ожидаемый результат

Английский математик и логик. Профессор математики Королевского колледжа Корка с 1849 года. Один из основателей математической логики. Буль был, вероятно, первым после Джона Валлиса математиком, обратившимся к логической проблематике. Буль не считал логику разделом математики, но находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов.На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» (1859; второе издание не завершено, материалы к нему опубликованы посмертно в 1865) и задуманный как его продолжение «Трактат о конечных разностях» (1860). Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета.

Дизъю́нкция (лат. disjunctio — разобщение), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу»

|| b,a{\displaystyle b,\;a} | b,a ORb{\displaystyle b,\;a~{\mbox{OR}}\,\,b},max(a,b).{\displaystyle ,\;\max(a,b).}

Дискре́тность (от лат. discretus — разделённый, прерывистый) — свойство, противопоставляемое непрерывности, прерывность.

Закон, выражающий дистрибутивность (распределительность) одной данной логической или математической операции относительно другой данной операции. Примером этого закона может служить закон обычной арифметики: а (b + с) = аb + ас, выражающий распределительность умножения относительно сложения.

Формула закона:

.

.

положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то А верно». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики высказываний закон двойного отрицания выражается формулой

¬(¬A)→A{\displaystyle \neg (\neg A)\rightarrow A}

Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых формулирует отрицание другого, не могут быть одновременно ложными. Закон исключённого третьего является одним из основополагающих принципов «классической математики».

Зако́н контрапози́ции — закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»).

Как и всякое общезначимое импликативное утверждение, может служить также и правилом вывода.

В виде формулы алгебры высказываний закон контрапозиции имеет вид

 Также являются тавтологиями следующие похожие формулы: {\displaystyle (\neg B\to \neg A)\to (A\to B)}, {\displaystyle (A\to B)\leftrightarrow (\neg B\to \neg A)}. При подстановке вместо {\displaystyle A,B} произвольных формул также получаются тавтологии.

Закон контрапозиции доказуем в исчислении высказываний, но при этом формула {\displaystyle (\neg p\to \neg q)\to (q\to p)} невыводима в интуиционистском исчислении высказываний, где p, q - пропозициональные переменные.

Закон непротиворечия  — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными. По крайней мере, одно из них ложно^[1].

Математическая запись:

{\displaystyle P\wedge \neg P=0,}

где:

• «{\displaystyle \wedge }» — знак конъюнкции (И);
• «{\displaystyle \neg }» — знак отрицания.

1. Закон двойного отрицания (двойное отрицание исключает отрицание):

   А = .

• для логического сложения: А Ú B = B Ú A;

• для логического умножения: A & B = B & A.

Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.

• для логического сложения: (А Ú B) Ú C = A Ú (B Ú C);

• для логического умножения: (A & B) & C = A & (B & C).

При одинаковых знаках скобки можно ставить произвольно или вообще опускать.

• для логического сложения: (А Ú B) & C = (A & C) Ú (B & C);

• для логического умножения: (A & B) Ú C = (A Ú C) & (B Ú C).

Закон определяет правило выноса общего высказывания за скобку.

• для логического сложения: =  &;

• для логического умножения: =   Ú 

• для логического сложения: А Ú A = A;

• для логического умножения: A & A = A .

Закон означает отсутствие показателей степени.

• для логического сложения: А Ú 1 = 1, А Ú 0 = A;

• для логического умножения: A & 1 = A, A & 0 = 0.

• A &  = 0.

Невозможно, чтобы противоречащие высказывания были одновременно истинными.

• A Ú  = 1.

Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе — ложно, третьего не дано.

• для логического сложения: А Ú (A & B) = A;

• для логического умножения: A & (A Ú B) = A.

Знание законов логики позволяет проверять правильность рассуждений и доказательств. Основываясь на законах, можно выполнять упрощение сложных логических выражений. Такой процесс замены сложной логической функции более простой, но равносильной ей, называется минимизацией функции.

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

Нарушения законов логики приводят к логическим ошибкам и вытекающим из них противоречиям.

Упрощение формул.

Пример 1. Упростить формулу (А Ú В) & (А Ú С).

Решение:

Таким образом, мы доказали закон дистрибутивности.

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

Пример 2. Упростить выражения  так, чтобы в полученных формулах не содержалось отрицания сложных высказываний.

Решение: 
 

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

представляют собой предопределенные имена, поэтому их нельзя использовать в качестве идентификаторов. Эти слова распознаются компиляторами без их описания в тексте программы.

Обеспечение доступности главного, выделение основного содержания путём помещения всего мешающего, второстепенного в некую условную капсулу

Интегри́рованная среда́ разрабо́тки- ИСP/IDE (англ. Integrated development environment) — комплекс программных средств, используемый программистами для разработки программного обеспечения (ПО).

программа выполняющая интерпретацию

Человек или автомат (в частности, процессор компьютера), умеющий выполнять определённый набор действий. Исполнителя хаpактеpизуют сpеда, элементаpные действия, система команд, отказы.

Исполнитель алгоритма — это некоторая абстрактная или реальная (техническая, биологическая или биотехническая) система, способная выполнить действия, предписываемые алгоритмом.

1. это текстовый файл части программы, написанный на каком-либо языке программирования. Исходный модуль обычно оформляется специальным образом для того, чтобы он мог быть оттранслирован (в объектный модуль).

организация обработки данных, при которой действия повторяются многократно, не приводя при этом к вызовам самих себя (в отличие от рекурсии).

 это элемент ПО, описывающий абстрактный тип данных и его частичную или полную реализацию. 

Клод Э́лвуд Ше́ннон (30 апреля 1916, Мичиган, США — 24 февраля 2001, Медфорд, Массачусетс, США) — американский инженер и математик, его работы являются синтезом математических идей с конкретным анализом чрезвычайно сложных проблем их технической реализации.

Является основателем теории информации, нашедшей применение в современных высокотехнологических системах связи. Шеннон внес огромный вклад в теорию вероятностных схем, теорию автоматов и теорию систем управления — области наук, входящие в понятие «кибернетика». В 1948 году предложил использовать слово «бит» для обозначения наименьшей единицы информации (в статье «Математическая теория связи»).

Среди изобретений Клода Шеннона есть устройство, собирающее кубик Рубика , мини компьютер для настольной игры Гекс (он всегда побеждал). Шеннон был обладателем отменного чувства юмора — тому подтверждение созданная им Абсолютная Машина .

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

 Программа или техническое средство, выполняющее компиляцию

Трансляция программы, составленной на исходном языке высокого уровня, в эквивалентную программу на низкоуровневом языке близком машинному коду.

Компоновка — сборка исполнимого модуля из одного или нескольких объектных модулей

Компью́тер — устройство или система, способное выполнять заданную чётко определённую изменяемую последовательность операций.

Компью́терная програ́мма — последовательность инструкций, определяющих процедуру решения конкретной задачи компьютером (вычислительной машиной).Программы необходимы для работы компьютера, обычно состоящей в исполнении инструкций программы в центральном процессоре.

алгоритм должен приводить к решению задачи за конечное число шагов.

Некоторая величина, не изменяющая своё значение в рамках рассматриваемого процесса.

Последовательность допустимых символов языка программирования, имеющая смысл для транслятора.

Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность.

Таблица истинности для эквивалентности

электрическая цепь проводников, состоящая из модулей (например, усилителей) и других компонентов (транзисторов, диодов, резисторов и конденсаторов), используемая для распределения и обработки электронных сигналов (например, напряжения) в соответствии с правилами символической логики и БУЛЕВОЙ АЛГЕБРЫ. В вычислительной и формальной математике логическая схема - это цепь связанных логических решений и операций, называемых ЛОГИЧЕСКИМИ ЭЛЕМЕНТАМИ.

С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой. Определение логической формулы: Всякая логическаяпеременная и символы "истина" ("1") и "ложь" ("0") — формулы.

В логике логи́ческими опера́циями называют действия, вследствие которых порождаются готовые понятия, с использованием уже существующих

Логические связи-это отрицание (изображается знаком ¬), конъюнкция (знак ), дизъюнкция (знак v), импликация (знак ) и эквивалентность (знак ). Высказывание ¬A (читается «не A») означает, что высказывание A ложно.

 означает, что алгоpитм pешения задачи pазpабатывается в общем виде, т.е. он должен быть пpименим для некотоpого класса задач, pазличающихся лишь исходными данными. Пpи этом исходные данные могут выбиpаться из некотоpой области, котоpая называется областью пpименимости алгоpитма

Математи́ческая моде́ль — математическое представление реальности^[1], один из вариантов модели, как системы, исследование которой позволяет получать информацию о некоторой другой системе.

Процесс построения и изучения математических моделей называется математическим моделированием.

Все естественные и общественные науки, использующие математический аппарат, по сути, занимаются математическим моделированием: заменяют объект исследования его математической моделью и затем изучают последнюю. Связь математической модели с реальностью осуществляется с помощью цепочки гипотез, идеализаций и упрощений. С помощью математических методов описывается, как правило, идеальный объект, построенный на этапе содержательного моделирования^[⇨].

Ме́тод в объектно-ориентированном программировании — это функция или процедура, принадлежащая какому-то классу или объекту.

Как и процедура в процедурном программировании, метод состоит из некоторого количества операторов для выполнения какого-то действия и имеет набор входных аргументов.

 Муха́ммед аль-Хорезми́  — один из крупнейших средневековых персидских^[6][7][8] учёных IX века, математик,астроном, географ и историк.

Наследование (англ. inheritance) — концепция объектно-ориентированного программирования, согласно которой абстрактный тип данных можетнаследовать данные и функциональность некоторого существующего типа, способствуя повторному использованию компонентов программного обеспечения.

Объект (программирование) У этого термина существуют и другие значения, см. Объект (значения). Объе́кт в программировании — некоторая сущность в виртуальном пространстве, обладающая определённым состоянием и поведением, имеющая заданные значения свойств (атрибутов) и операций над ними (методов).

12. методологияпрограммирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определенного класса, а классы образуют иерархию наследования.

Опера́нд (англ. operand) в языках программирования ― аргумент операции; данные, которые обрабатываются командой; грамматическая конструкция, обозначающая выражение, задающее значение аргумента операции. Иногдаоперандом называют место, позицию в тексте, где должен стоять аргумент операции.

 наименьшая автономная часть языка программирования; команда;

каждое правило алгоритма должно быть четким, однозначным. Благодаря этому свойству выполнение алгоритма носит механический характер и не требует никаких дополнительных указаний или сведений о решаемой задаче.

 этап разработки компьютерной программы, на котором обнаруживают, локализуют и устраняют ошибки.

Компьютерная программа, предназначенная для поиска ошибок в других программах, ядрах операционных систем, SQL-запросах и других видах кода.

Паскаль (англ. Pascal) — один из наиболее известных языков программирования^[5], используется для обучения программированию в старших классах и на первых курсах вузов, является базой для ряда других языков.

Символ, обозначающий какое-то число в алгебраическом выражении.

 К первому поколению-  относят машинные языки — языки программирования на уровне команд процессора конкретной машины.

Языки второго поколения (2GL) создавались для того, чтобы облегчить тяжёлую работу по программированию, перейдя в выражениях языка от низкоуровневых машинных понятий ближе к тому как обычно мыслит программист. 

 Языки программирования четвёртого поколения (4GL) лучше представлять как среды разработки четвёртого поколения. Они относятся к временному периоду с 1970-х по начало 1990-х.

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

это способность обьекта использовать методы производного класса, который не существует на момент создания базового.

Предика́т (лат. praedicatum — заявленное, упомянутое, сказанное) — это то, что утверждается о субъекте. Субъектом высказывания называется то, о чём делается утверждение.

Предикат в программировании — функция, принимающая один или более аргументов и возвращающая значения булева типа.

Логическое выражение в программировании — конструкция языка программирования, результатом вычисления которой является «истина» или «ложь».

В большинстве языков программирования низкого и высокого уровня определён набор встроенных операций сравнения позволяющих строить «простые» логические выражения. Самыми распространёнными являются:

Например, логическое выражение «5 > 3» истинно, а «6 != 6» ложно.

Профилирование — сбор характеристик работы программы, таких как время выполнения отдельных фрагментов (обычно подпрограмм), число верно предсказанных условных переходов, число кэш-промахов и т. д. Инструмент, используемый для анализа работы, называют профилировщиком или профайлером (англ. profiler). Обычно выполняется совместно с оптимизацией программы.

Программирование  на императивном языке, при котором последовательно выполняемые операторы можно собрать в подпрограммы, то есть более крупные целостные единицы кода, с помощью механизмов самого языка.

Псевдоко́д — компактный (зачастую неформальный) язык описания алгоритмов, использующий ключевые слова императивных языков программирования, но опускающий несущественные подробности и специфический синтаксис. Псевдокод обычно опускает детали, несущественные для понимания алгоритма человеком. Такими несущественными деталями могут быть описания переменных, системно-зависимый код и подпрограммы. Главная цель использования псевдокода — обеспечить понимание алгоритма человеком, сделать описание более воспринимаемым, чем исходный код на языке программирования.

 это такая форма организации действий, при которой в зависимости от выполнения или невыполнения некоторого условия совершается либо одна, либо другая последовательность действий

РЕЗУЛЬТАТ — (фр., от лат. resultare отражаться, отзываться). Следствие чего либо, конечный вывод данных, решение, исход, конец

Ро́бот— автоматическое устройство, созданное по принципу живого организма, предназначенное для осуществления производственных и других операций

Синтаксис (значения). Синтаксис языка программирования — набор правил, описывающий комбинации символов алфавита, считающиеся правильно структурированной программой (документом) или её фрагментом. Синтаксисуязыка противопоставляется его семантика.

Словесный способ записи алгоритмов представляет собой описание последовательных этапов обработки данных. Алгоритм задается в произвольном изложении на естественном языке.

Логическое выражение, составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.

Это обстановка в которой может работать исполнитель

это такие программы, в которых программисты реализовывают свои коды с целью создания какого-то отдельного модуля или приложения.

14. Таблица истинности — это таблица, описывающая логическую функцию.

    Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь» true либо false, 1 либо 0).

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

    Таблицы истинности для основных двоичных логических функций

15. 
    

16. Таблицы истинности для некоторых троичных логических функций[править | править вики-текст]

    x	2	1	0	2	1	0	2	1	0
    y	2	2	2	1	1	1	0	0	0
    Минимум	2	1	0	1	1	0	0	0	0

    
    

    x	2	1	0	2	1	0	2	1	0
    y	2	2	2	1	1	1	0	0	0
    Максимум Минус.	2	2	2	2	1	1	2	1	0

    
    

    x	2	1	0	2	1	0	2	1	0
    y	2	2	2	1	1	1	0	0	0
    Webb(x,y)	0	0	0	0	2	2	0	2	1

    
    
    
    
    

это одна из техник контроля качества, включающая в себя активности по планированию работ.

Трансля́тор — программа или техническое средство, выполняющее трансляцию программы^[1][2].

Интеллектуальный процесс, результатом которого является суждение о каком-л. явлении.

Приём в программировании, позволяющий многократно повторять одну и ту же последовательность команд (операторов).

 это цикл, в котором тело цикла выполняется заданное количество раз

Цикл с постусловием — цикл, в котором условие проверяется послевыполнения тела цикла. Отсюда следует, что тело всегда выполняется хотя бы один раз. 

Цикл с предусловием — цикл, который выполняется, пока истинно некоторое условие, указанное перед его началом. Это условие проверяется до выполнения тела цикла, поэтому тело может быть не выполнено ни разу (если условие с самого начала ложно).

Клод Э́лвуд Ше́ннон (англ. Claude Elwood Shannon; 30 апреля 1916, Петоцки (англ.)русск., Мичиган, США — 24 февраля 2001, Медфорд, Массачусетс, США) — американский инженер и математик, его работы являются синтезом математических идей с конкретным анализом чрезвычайно сложных проблем их технической реализации.

Является основателем теории информации, нашедшей применение в современных высокотехнологических системах связи. Шеннон внес огромный вклад в теорию вероятностных схем, теорию автоматов и теорию систем управления — области наук, входящие в понятие «кибернетика». В 1948 году предложил использовать слово «бит» для обозначения наименьшей единицы информации (в статье «Математическая теория связи»).

Бинарная логическая операция,  булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 г. Штрих Шеффера, обычно обозначаемый |, эквивалентен операции И-НЕ.

Таким образом, высказывание X | Y означает, что X и Y несовместны, то есть не являются истинными одновременно. От перемены мест операндов результат операции не изменяется.

Задаётся следующей таблицей истинности:

Язык Паскаль был создан Никлаусом Виртом в 1968—1969 годах после его участия в работе комитета разработки стандарта языка Алгол. Язык назван в честь французского математика, физика, литератора и философа Блеза Паскаля, который создал первую в мире механическую машину, складывающую два числа.

Последующая работа Вирта была направлена на создание на основе Паскаля языка системного программирования, с сохранением возможности вести на его базе систематический, целостный курс обучения профессиональному программированию. Результат этой работы — язык Модула-2.

Язы́к программи́рования — формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель (обычно — ЭВМ) под её управлением.