Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
Сегодня мы поговорим о символах в ИЗО искусстве, об их значимости в современном мире и культуре, а также о развитии познавательного интереса, ассоциа...полностью>>
'Документ'
В соответствии с Законом Удмуртской Республики от 17 июля 2008 года N 33-РЗ "О государственном планировании социально-экономического развития Уд...полностью>>
'Документ'
опыты, но только в семидесятых годах ХIX столетия возникло эпохальное решение: как известно, в 1878 году Томас Альва Эдисон получил патент на аппарат,...полностью>>
'Документ'
X конференции гастроэнтерологов Юга России, которая состоится в г....полностью>>

Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности «Компьютерная безопасность»

Главная > Лекции
Сохрани ссылку в одной из сетей:

Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности «Компьютерная безопасность».

В.Х.Хаханян (кафедра «Прикладная математика-2»)

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

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

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

Данные лекции сопровождаются методической литературой (использованной при их написании) и литературой по решению задач по данному курсу. Большое количество задач приводится прямо в тексте лекций. Были использованы следующие пособия: учебник (переводной) Э.Мендельсона «Введение в математическую логику», М., Наука,1971г., «Вводный курс математической логики», изданный в 1991 г. в МГУ им. Ломоносова, авторы В.А.Успенский, Н. К. Верещагин, В. Е. Плиско, также переводная книга Р. Столла «Множества. Логика. Аксиоматические теории», М., Просвещение,

1968 г., учебное пособие Ю.М.Важенина «Множества. Логика. Алгоритмы», изданное в 1995 г. в УрГУ г. Екатеринбурга и замечательная книга Н.К.Верещагина и А.Шеня «Языки и исчисления», издание МЦНМО второе, стереотипное, 2002 г. Ряд задач взят из переводной книги Р. М. Смаллиана «Как же называется эта книга?», М., Мир, 1981 г.

Введение

Скорее всего, логику можно определить как анализ правильных методов и способов рассуждений, т.е. когда из верных исходных положений получаются верные же выводы (при этом мы совершенно не поясняем термин «верный»?!). Логика, таким образом, интересуется в первую очередь только формой, а не содержанием используемых доводов. В качестве примеров можно привести конкретные рассуждения по одному из известных силлогизмов Аристотеля: а) все люди смертны; Сократ – человек; следовательно, Сократ смертен.; б) все кошки любят рыбу; Ряба – кошка; следовательно, Ряба любит рыбу. Приведённые рассуждения характеризуются одной и той же формой: все А суть В; С есть А; следовательно, С есть В. При этом удалось установить некий общий закон получения из верных посылок верного заключения. И если при таком получении (установлении) мы использовали математический аппарат, то предмет такого рода изучения и может быть назван математической логикой.

Конечно, не стоит себе представлять, что логика есть просто часть математики, однако именно использование аппарата математики делает логику строгой наукой. И тем не менее, дело вовсе не сводится к верному использованию математики. Приведу в подтверждение только один пример, взятый из книги Р. Смаллиана. «Случай …поднимает вопрос о том, может ли человек лгать, не зная, что он лжёт. Я бы (автор) ответил на такой вопрос отрицательно. Я считаю, что лгать означает высказывать не ложное утверждение, а утверждение, которое тот, кто его высказывает, считает ложным. Действительно, если кто-то высказывает утверждение, считая его ложным, а оно оказывается истинным, то я бы сказал, что этот «кто-то» лжёт.» Мне кажется, что истинным содержанием логики является «сплав» собственно логики и хорошо подобранного формального (математического) аппарата, помогающего ясно и точно разобраться в тонких нюансах логических рассуждений.

Логика, безусловно, является одним из основных элементов всех других наук (ситуация по выделению логики именно как единственной основы не верна ; конечно, шасси автомобиля – один из его основных элементов, но не его основа (как единственный основной элемент): есть и другие, не менее основные, элементы автомобиля). Современная математическая логика, наряду с присущей ей фундаментальностью, является обширным и разветвлённым разделом именно математики. Математическая логика должна быть, как и сама математика, точной наукой: иметь дело с точными понятиями и методами (здесь стоит отметить, что интерес к математической логике стал особо заметен в XIX столетии под влиянием строгого обоснования математического анализа, открытием неевклидовых геометрий, а затем и парадоксов в основаниях математики (хорошее описание и обсуждение парадоксов можно найти в книге С.К.Клини «Введение в метаматематику», издание 1957 г. и в упоминавнемся ранее учебнике Э.Мендельсона)). В последние десятилетия интерес к математической логике в первую очередь связан с поисками наилучших алгоритмов при решении массовых задач и с программированием. Оставляя в стороне подробное обсуждение обеих тем отметим только, что поиск наилучших алгоритмов невозможен без описания и изучения свойств этих алгоритмов, т.е. без теории рекурсивных (вычислимых) функций.

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

Лекция 1

Исходные понятия математической логики.

1.1 Язык математической логики.

Основными понятиями математической логики являются высказывания, предикаты, логические связки и кванторы (конечно, мы не даем формального описания какого либо-языка, но несколько ниже мы приведём примеры таких языков для исчисления высказываний и исчисления предикатов). Сейчас же мы изложим семантические аспекты понятий выше. Связка  («не») называется отрицанием; связка  (иначе ) («и») называется конъюнкцией; связка  («или», но не разделительное) называется дизъюнкцией; связка  («если…,то…») называется импликацией. Приведём пример. Пусть Р – предложение «данное число делится на 2», Q – предложение «данное число делится на 5», R – предложение «данное число оканчивается нулём»; тогда предложение S «если данное число оканчивается нулём, то это число делится на 5 и делится на 2» может быть записано так: S  R  (PQ). Читатель может потренироваться в приведении примеров, подобных данному (большое количество примеров такого рода имеется в начальной главе книги Э. Мендельсона).

Аналогом понятия предикат является понятие группы слов, характеризующих некий предмет, т.е. есть сказуемое, характеризующее подлежащее. Здесь часто используется так называемая функциональная запись: f(x1, …,xn), где f – обозначение свойства, которым характеризуется набор предметов x1, … ,xn. С этой точки зрения предикат ставит в соответствие элементам x1, … ,xn символы И (истина) или Л (ложь), которые далее всегда будут заменяться 1 и 0 соответственно. Итак f : Mn  {0,1}, где М – объектная область, т.е. область, которую «пробегают» переменные x1, … , xn. Рассмотрим пример: Р(x) = «x – пионер» (это – одноместный предикат «быть пионером»). Если данное лицо А является пионером, то Р(А) = 1; в противном случае Р(А) = 0. В качестве М здесь выступает всё человечество. Другой пример: Q(x,y) = «x делится на y» (в качестве М выступает множество всех натуральных чисел). Теперь Q – двухместный предикат. Если А=28 и В=2, то Q(А,В)=1; если же А=13, а В=4, то Q(А,В)=0. Если мы зафиксируем первую переменную числом 28, то получим предикат Q(28,y)=R(y) и R – уже одноместный предикат, выражающий делимость числа 28 на все остальные числа. Однако есть другой способ получения одних предикатов из других и такой способ связан с применением кванторов. Пусть P(x) и Q(x,y) – рассмотренные выше предикаты. Тогда xP(x) («для всякого x из области М (М – всегда подразумеваемая область) Р(x)=1») и yQ(x,y)=H(x) («для данного x из области М найдётся y из области М такой, что Q(x,y)=1») – новые предикаты (первый из них есть нульместный предикат или просто высказывание), полученные применением кванторов  (для всякого или всеобщности (for all)) и  (существования (exist)) к предикатам P и Q. В первом случае мы получим функцию-константу или высказывание (в нашем случае – ложное), во втором случае – одноместный предикат, который всегда истинен (например, в качестве y нужно просто взять x), а тогда утверждение xyQ(x,y) – также истинное утверждение. Думается, что изложенного выше достаточно для уяснения понятия «квантор». Ниже, при изложении исчисления предикатов, мы вернёмся к этому понятию.

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

    1. Высказывания и высказывательные формы.

Логические операции над высказываниями.

В пункте 1.1 мы уже получили представление о логических связках (операторах) и кванторах. Теперь мы обратимся к высказываниям. Под высказываниеммы понимаем суждение, характеризующееся тем, что оно обязательно является либо истинным, либо ложным (последние слова – это истинностностные значения суждения или высказывания).

Высказывание 73=21 является истинным (его истинностное значение есть 1), а высказывание 77=47 – ложным (его истинностное значение есть 0). Однако бывают суждения, которые не являются высказываниями. Например, суждение «натуральное число n, умноженное на 5, всегда оканчивается (в десятичной записи) нулём» является неопределенным в том смысле, что его истинностное значение зависит от того, какое значение принимает натуральное число n, которое в данной записи носит характер переменной. Переменная n принимает значения из вполне определенного множества объектов: натуральных чисел и такая переменная называется «свободная». Но бывают и такие переменные, которые не допускают подстановок описанного рода, например (сравни с действиями кванторов из примеров выше; ещё пример с кванторами: x(x2+1=0)). Такие переменные называют «связанная». Ещё пример связанной переменной: . Здесь верхнее вхождение переменной t является свободным, а два других вхождения – связанными. Таким образом, нужно говорить не просто о свободных и связанных переменных, а об их вхождениях в суждение. Итак, наряду с высказываниями (в которых нет свободных вхождений ни одной переменной) существуют и суждения, в которых есть вхождения свободных переменных. Суждения такого вида называют высказывательными формами.

Задача. Приведите 5 примеров высказываний и 5 примеров высказывательных форм.

Обратимся теперь к введённым выше логическим операциям (связкам); к ним мы ещё добавим логическую операцию (бинарную) «» («тогда и только тогда» или «эквиваленция»). Представим свод-

ную логическую таблицу всех введённых операций.

А В АВ АВ АВ АВ А

1 1 1 1 1 1 0

1 0 0 1 0 0 0

0 1 0 1 1 0 1

0 0 0 0 1 1 1

Эти логические операции можно рассматривать как функции, например, есть отображение из {0,1}2 в {0,1}. Применять эти операции можно как к высказываниям, так и к высказывательным формам.

Лекция 2.

Классическое исчисление высказываний

2.1 Истинностные таблицы.

Придадим всему сказанному выше ещё более формальное описание. Пропозициональной переменной (пп) называется переменная, пробегающая над множеством высказывательных форм (в том числе и высказываний). Пропозициональная форма (пф) получается с помощью следующего индуктивного определения (математическая логика очень часто использует определения объектов с помощью индуктивной процедуры, часто явно не указывая индуктивную переменную, которая обычно есть натуральное число; доказательства также часто проводятся с использованием математической индукции, с помощью которой уже были построены объекты, являющиеся предметом доказательства; поэтому рекомендуем читателю повторить метод математической индукции):

(i) любая пп есть пф; (ii) если А и В – пф, то (А), (АВ), (АВ), (АВ), (АВ) есть пф; (iii) только те выражения есть пф, для которых это следует из пунктов (i) и (ii).

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

Поэтому всякая пф определяет некоторую истинностную функцию и м.б. функционально представлена таблицей. Например, форма АВ  С может быть представлена такой таблицей:

А В С АВ АВ  С

0 0 0 0 1

0 0 1 0 1

0 1 0 1 0

0 1 1 1 1

1 0 0 1 0

1 0 1 1 1

1 1 0 1 0

1 1 1 1 1

Задача. Составьте таблицы истинностных функций для следующих пф: а) (АВ)(А); в) ((АВ)С)D.

Введём ряд соглашений о более экономном употреблении скобок в записях пф (внимательный читатель уже заметил, что две последних пф записаны неправильно, тем не менее воспринимаются эти записи как правильные). Внешнюю пару скобок в записи будем опускать. Если форма содержит вхождения только одной бинарной связки, то для любого вхождения этой связки опускаем внешние скобки у той из двух форм, соединяемых этим вхождением, которая стоит слева. Далее, связки упорядочим так: , , , ,  и будем опускать все те пары скобок, без которых возможно восстановление пф по правилу:  относится к наименьшей пф, следующей за ним,  связывает наименьшие формы, его окружающие; затем всякое вхождение  действует аналогичным образом (но после применения правила к  и  и т.д., включая , а затем ). Пример: АВС есть ((АВ)С); АВСА есть (((А(В))С)А). Сами потренируйтесь в восстановлении и опускании скобок по правилу, приведённому выше.

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

2.2 Тавтологии.

Пф, которая истинна независимо от того, какие значения принимают входящие в неё пп, называется тавтологией. Таким образом, функция истинности тавтологии принимает только значение 1. Говорят, что А логически влечет В, если пф АВ является тавтологией и что А логически эквивалентно В, если пф АВ – тавтология. Каждая тавтология есть пример какого-либо логического закона. Например, АА – закон исключённого третьего, (АВ)  (ВА) – закон контрапозиции и т.д. Отметим еще, что А(АВ) логически влечёт В. Ясно, что таблицы истинностности дают эффективную процедуру для решения вопроса о том, является ли данная пф тавтологией.

Задача. Определить, являются ли следующие пф тавтологиями.

  1. ((АВ)В)В. 2. (АВ)(А(ВА)).

3. (АВ)((АВ)(ВА)).

Отрицание тавтологии называется противоречием (т.е., если А – тавтология, то А – противоречие). Ясно, что противоречие есть пф, которой соответствует истинностная, всюду ложная, функция.

Задача. Приведите пять примеров пф, которые являются противоречиями.

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

Утверждение 2.2.1 Если А и АВ – тавтологии, то В – тавтология.

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

Доказательство: если А и АВ – тавтологии, то при любом распределении (фиксированном) истинностных значений входящих в них пп они принимают значение 1. Если бы В принимала при этом значение 0, то пф АВ принимала бы значение 0 также и мы получили бы противоречие.

Следовательно, В принимает значение 1.

Замечание. Не лучшее доказательство. Попробуйте рассудить «более логично».

Утверждение 2.2.2 Если А – тавтология с пп А1,…,Аn и пф В получается из пф А подстановкой пф В1,…,Вn вместо пп выше, то пф В – также тавтология (подстановка в тавтологию любых пф приводит снова к тавтологии).

Докажите это Утверждение 2.2.2 самостоятельно. Приведите подтверждающие и опровергающие примеры (например, может ли быть так, когда в пф, не являющуюся тавтологией, что-либо подставляют и получается тавтология?)

Утверждение 2.2.3 Если пф В1 получается из пф А1 подстановкой пф В вместо одного или большего числа вхождений пф А, то (АВ)(А1В1) есть тавтология, т.е. из логической эквивалентности пф А и В следует логическая эквивалентность пф А1 и В1.

Это Утверждение 2.2.3 также докажите самостоятельно. Рассмотрите какое-либо произвольное, но фиксированное, распределение пп, входящих в А и В.

2.3 Полные системы связок

Материал подобного сорта должен быть рассмотрен (обычно) в курсе «Дискретная математика», но иногда (а раньше – почти всегда) рассматривался и в курсе «Математическая логика». Поэтому мы будем кратки.

Утверждение 2.3.1 Всякая истинностная функция порождается некоторой пф, содержащей только связки , , .

Это Утверждение 2.3.1 верно в силу того факта, что по данной истинностной функции можно написать совершенную конъюнктивную (или дизъюнктивную) нормальную форму (которая и есть требуемая пф).

Следствие 2.3.2 Для любой из трёх пар связок (,), (,) и (,) и для любой истинностной функции найдётся пф, содержащая только связки из заданной пары и порождающая данную функцию.

Для доказательства достаточно заметить, что любая из связок , ,  выражается через любую из остальных и . Однако можно ввести и одну связку, с помощью которой можно добиться такого же эффекта.

Утверждение 2.3.3 Единственными бинарными связками, каждой из которых достаточно для построения всех истинностных функций, являются связки  и.

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

А В  

1 1 0 0

0 1 0 1

1 0 0 1

0 0 1 1

Задача. Доказать, что ни одна из пар связок (,) и (,), не является достаточной для выражения всех истинностных функций.

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

Предположим, что рыцарь – человек, который всегда говорит правду, что лжец – человек, который всегда лжёт и что нормальный человек иногда говорит правду, а иногда лжёт.

А) задачи про рыцарей и лжецов.

  1. Трое людей А, В, и С разговаривали между собой. У А спросили: «Вы рыцарь или лжец?», на что А ответил очень неразборчиво. Тогда спросили у В «Что сказал А?». «А сказал, что он лжец»-ответил В. Но тогда С сказал, что В лжёт. Кто из островитян В и С рыцарь и кто – лжец? А кто такой А?.

  2. Из двух персонажей А и В нужно узнать, кто рыцарь, а кто лжец, если А сказал: «Среди нас есть лжец».

  3. А говорит: «Или я лжец, или В рыцарь». Кто из А и В есть кто?

  4. Единственный персонаж А говорит: «Или я лжец, или снег всегда чёрный». Какие выводы можно сделать?

  5. А говорит: «Я лжец, а В – не лжец». Кто из них рыцарь, а кто – лжец?

  6. Вы встречаете рыцаря или лжеца, помните, что его зовут то ли Вася, то ли Витя, но не помните, как. Вы спрашиваете «Как Вас зовут» и слышите в ответ «Витя». Как его зовут?.

Б) задачи про рыцарей, лжецов и нормальных людей.

  1. Из трёх людей один – рыцарь, другой – лжец и третий – нормальный человек. Они высказывают такие утверждения:

А: «Я нормальный человек»; В «А сказал правду»; С «Я не нормальный человек». Кто такие А, В и С?

  1. Двое человек высказывают такие утверждения: А: «В – рыцарь»;

В: « А – не рыцарь». Докажите, что хотя бы один из них говорит правду и что это не рыцарь.

  1. Пусть А и В говорят: А: «В – рыцарь»; В: «А – лжец». Тогда либо

один из них говорит правду и это не рыцарь, либо один из них

лжёт и это не лжец.

  1. Пусть лжецы имеют минимальный ранг, нормальные люди –

средний и рыцари – высший ранг. Двое людей говорят: А: «По рангу я ниже В»; В: «Не правда». Можно ли определить ранг А или В? Можно ли установить истинностное значение каждого из двух утверждений?

Лекция 3

Классическое исчисление высказываний (продолжение)

3.1 Система аксиом для исчисления высказываний

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

Формальная аксиоматическая теория Т задана, если выполнены следующие условия (читатель найдёт в других учебниках несколько иные условия, но все они оказываются эквивалентными):

а) задано счётное число исходных символов – алфавит теории Т; конечные последовательности (слова) этих символов называются выражениями теории Т;

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

с) выделено некоторое множество формул, называемых аксиомами теории Т; здесь также часто имеется эффективная процедура, позволяющая выяснить, является ли данная формула аксиомой (эффективно аксиоматизируемая теория);

d) имеется конечное множество отношений R1,…,Rn между множествами формулами, называемых правилами вывода; для каждого Ri и для каждого натурального j можно эффективно определить, состоят ли данное множество из j формул и данная формула А в отношении Ri, и если да, то формула А называется непосредственным следствием из данных j формул по правилу Ri.

Выводом в теории Т называется любая последовательность формул А1,…,Аn такая, что для всякого i формула Аi есть либо аксиома теории Т, либо непосредственное следствие каких-либо предыдущих формул по одному из правил вывода.



Скачать документ

Похожие документы:

  1. Конспект лекций организация производства и маркетинг для студентов 3 курса специальностей

    Конспект
    Конспект лекций по дисциплине «Организация производства и маркетинг» (для студентов 3 курса специальностей 6.090600 – «Электротехнические системы электропотребления» 6.
  2. Программа междисциплинарного государственного экзамена по специальности 090102 Компьютерная безопасность блок 1

    Программа
    Непрерывность действительных функций одной действительной переменной. Классификация точек разрыва. Свойства функций непрерывных на отрезке. Доказательство теоремы о промежуточном значении непрерывной функции.
  3. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения направление подготовки 230700. 62 «прикладная информатика» профиль подготовки «прикладная информатика в экономике»

    Учебно-методический комплекс
    ПЛАТОНОВ М. Л. АЛГЕБРА И МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения по направлению подготовки 230700.
  4. Конспект лекций по дисциплине «сетевые технологии» (дополненная версия) для студентов специальности 050102

    Конспект
    Конспект лекций по дисциплине «СЕТЕВЫЕ ТЕХНОЛОГИИ» для студентов специальности 7.050102 «Экономическая кибернетика» дневной формы обучения / Сост. Е.А.
  5. Информатика. Лекции. Краткая история компьютерной техники Первые компьютеры: Z3, Colossus, eniac

    Лекции
    Лавры первых компьютеров в некотором смысле незаслуженно носят два наиболее ярких представителя того времени — компьютеры Colossus и ENIAC, «яркость» которых кроется в тех задачах, для решения которых они создавались и использовались.

Другие похожие документы..