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


Скачать 314.16 Kb.
НазваниеРазработка интеллектуальных систем общего назначения как решателя задач на основе знаний остро выдвинула проблему осмысления понятия истины. Основное
страница1/2
Дата28.10.2012
Размер314.16 Kb.
ТипДокументы
  1   2
Резюме

Разработка интеллектуальных систем общего назначения как решателя задач на основе знаний остро выдвинула проблему осмысления понятия истины. Основное назначение интеллектуальной системы – поиск истины для утверждений, представленных на языке профессиональной прозы в форме запроса на решение задачи. При использовании известного материала по вопросам определения истины, возник новый взгляд на известный материал. Понятие истины не должно быть «сжато», как это делается в математике, оно должно быть доступно любому пользователю информатики. В статье показано разнообразие понимания истины с точки зрения информатики.


The resume

Development of intellectual systems of a general purpose as decisioner problems on the basis of knowledge has sharply put forward a problem of judgments of true concept. The basic purpose of intellectual system - search of true for the statements presented in language of professional prose in the form of inquiry about the decision of a problem. At use of a known material concerning definition of true, there was a new sight at a known material. The concept of true should not be «compressed», as it is done in the mathematician, it should be accessible to any user of informatics. In clause a variety of understanding of true from the point of view of informatics is shown.

Что такое истина

А.А. Красилов

РОЛЬ ИСТИНЫ ДЛЯ ЧЕЛОВЕКА ВЕЛИКА

Введение

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

Важно фиксировать язык, на котором строится определение. Язык и устанавливает взаимосвязи понятий. При этом важно помнить, что истинно в одном языке, может оказаться ложным в другом языке. Язык может быть естественным или формальным. Тот и другой язык определяет, по крайней мере, две исходные категории: термины и лексемы. Кроме рабочего языка, на котором формируются утверждения, необходимо рассматривать язык описания языка или метаязык, на котором определяется рабочий (объектный) язык. Метаязык должен быть описан в объектном языке. Тогда можно находить смысл термина метаязыка. Определение должно быть в самом языке, который рассматривает понятие истины. Оно должно самообслуживаться и не прибегать к метаязыку.

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

Истина или истинное утверждение как понятия состоят из имен терминов и значений - лексем, определяемых в языке. Имя ИСТИНА имеет значение истина, как лексема языка.

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

В математике исчисление содержит набор аксиом, который по количеству мал. В этом содержится красота теории. В статье указывается на множества аксиом, что для информатики является важным обстоятельством. Исходным материалом статьи послужили публикации Альфреда Тарского и публикации на сайте www.intellsyst.ru.


Красота - сияние истины

Афоризм

1. Описание истины. Эмпирическая логика - логика реальности.

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

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

Синтаксически текст подразделяется на предложения, которые также можно именовать фразами, фразы объединяются в абзацы, а абзацы составляют весь текст. Фразы имеют некоторый допустимый смысл. Абзац обозначает законченную мысль и имеет смысл логического значения истины или лжи. Законченная мысль – это значит иметь вычисляемый логический смысл. Каждое утверждение либо верно, либо не верно, либо не выяснено, что оно верно или не верно. Переходим к способам описания истины.

1.1. Без доказательства. Верное утверждение, не нуждающееся в доказательстве, представляет истину. Имеется утверждение, которое представляет истину – это само слово «истина». Это слово по всеобщей договоренности является логическим значением, константой в русском языке. В других языках имеется слово, полностью соответствующее этому русскому слову. Истина не совпадает по смыслу со словом истина так же, как и со словом ИСТИНА (склонение слова истина допускается в русском языке). Слово истины по прямому назначению будет писаться как истина с выделением слова полужирным шрифтом. Итак, есть одно слово формального языка: истина – значение логического типа (по договоренности).

1.2. По договоренности. Существует процедура договоренности о чем-либо, иначе создатель текста и его читатель не будут понимать друг друга. По договоренности – это значит, что в описании или обсуждении конкретной проблемы (задачи, ситуации, вопроса, темы и другое) установлена истина, принимающаяся договаривающимися сторонами. Лист зеленый – договорились! Никто не называет в русском языке цвет листа красным. Конечно, имеется и красный лист, опять работает договоренность. У такого-то растения лист является красным. Выше приведен пример договоренности о том, что собственно истина будем писать полужирным шрифтом. Способ описания истины по договоренности во многом является субъективным.

1.3. По определению. Каждый термин определен для того, чтобы было понятым. Определяемое понятие связывается с другими понятиями и создает контекст определяемого понятия. Ниже рассматриваются семь способов определения. Каждый способ может применяться для слова «истина».

1.4. По сопоставлению с практикой. Истина становится объективной, если устанавливается соответствие ее реальности, которая может быть материально представленной, энергетически (физически) наблюдаемой или информационно воображаемой. «Истина» есть как бы приравнивание вещи к слову, подобно тому, как обычная бумажная денежная купюра приравнивается к золотому эквиваленту. Утверждение истинно, если оно соответствует положению вещей. Этот способ описания истины во многом является объективным. По Канту истина «есть соответствие знания с его предметом».

1.5. В соответствии с доказательством. Имеется 7 способов доказательства:

1. Сопоставление утверждения с наблюдениями в окружающем мире или в мозгу, которое устанавливает (практически доказывает) истину утверждения.

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

3. Часто строгое определение служит доказательством истинности определяемого понятия.

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

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

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

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

Математика может установить или доказать относительную равносильность всех определений или установить вес каждого способа доказательства.

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

1.7. Проверка системы истин. Каждая из проверок отражает одну из сторон описания истины. Только совокупное применение всех проверок может быть удовлетворительной или результативной. Такой подход относится к проверке системы истин. Высказанные утверждения истинны, если не обнаружено глобальных противоречий.


2. Взаимосвязь истины. Неэмпирическая логика (металогика) - формальные предпосылки всякой логики

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

Естественный (ЕЯ) и формальный (ФЯ) языки допустимы в качестве объектного языка для определения и использования истины. Имеется также метаязык, который существенно богаче объектного языка. Язык не может быть определен, пока не рассматриваются метасимволы для построения его определения. Расширение уже создает новый язык и так далее. Язык служит для записи истин, утверждений и команд. В практике существует язык профессиональной прозы (ЯПП). Синтаксис ЯПП прост, он определяет последовательность терминов предметов и терминов операций. Если операнд или операция применяется неправильно, то определить истину весьма сложно, можно придти к противоречию.

Содержательно ЯПП описывает профессиональные знания в фактах, утверждениях о фактах и правилах получения новых утверждений. Факты – широкая область высказываний, они выражают наличие или отсутствие предмета, явления или процесса (объекта), его свойств или характеристик, отношений или соотношений объектов. Логические утверждения состоят из логических фактов или других фактов, соединенных логическими операциями.

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


Для истинного знания вреднее всего употребление понятий и слов, не вполне ясных. А это самое и делают мнимые ученые, придумывая для неясного понятия несуществующие, выдуманные слова.

Л. Толстой

3. Определение истины. Воображаемая логика.

Пример самого общего определения истины таков:

утверждение P истинно, если и только если P соответствует Q,

где на место Q могут подставляться фразы «внешнему факту», «требованию

согласованности с другими предложениями», «критерию полезности для говорящего», «принятой конвенции» и т.п.

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

Слово истина является заимствованным из старославянского языка. В старославянском языке оно образовано от ИСТЪ – «настоящий, несомненный, действительный» с помощью суффикса – ина. Истина – это бытие, сущее, то, что есть – таково общее определение.

В определении должны использоваться только ясные и определенные понятия. Формальное определение записывается так:

«Х истинно тогда и только тогда, когда Р истинно»

или

«Х истинно тогда и только тогда, когда Р имеет место».

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

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

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

2. Когерентная концепция рассматривает истину как соответствие одних знаний другим.

3. Концептуальная концепция: Истина – это вполне определенная сущность.

4. Конвенциальная концепция: Истина - это то, что считает большинство, соглашение.

5. Классическая теория истин: Истина - это правильное отражение предмета, процесса в индивидуальном познании, соответствие факту.

6. Прагматическая концепция. Эта концепция, распространенная в особенности в Америке, говорят, что истиной считается то, что полезно для человека.

7. Неатомистическая концепция говорит о том, что истина - это божье откровение.

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

Теперь переходим к рассмотрению семи способов определений.

3.1. Описательное определение. Самым простым и распространенным определением понятия является описательное определение. Такие определения содержатся почти во всех естественнонаучных дисциплинах. Обычно для создания описательных определений используются тексты ЕЯ. В последнее время в связи с проникновением информатики в естественные науки начинается использование формальных и неформальных средств и методов представления знаний таких наук. Каждая наука использует чаще не ЕЯ, а язык профессии или ЯПП. Знание и изучение средств ЯПП важно для интенсификации проникновения информатики в конкретную науку.

А теперь рассмотрим пример описательного определения с ответом на вопрос: что можно отнести к понятию истина? Обработка знания связана с поиском истины при передаче интеллектуальной системе (Интеллсист) текстов запросов на решение задачи. Основное требование к обработке состоит в применении только таких преобразований знания, которые сохраняют истинность текста. Если в процессе обработки получается ложь, то система объявляет противоречие и процесс обработки заканчивается. Перед обработкой предполагается, что исходный текст соответствует истине. В результате обработки знаний предположение может опровергаться.

3.2. Контекстное определение. Это второй способ определения. Знания, представленные текстами, выражениями и таблицами, используют именно контекстные определения. Поток сведений конкретной области знания состоит из определений различных понятий с указанием связей между ними. Каждый абзац текста представляет законченную мысль (содержательно) и связи понятий, которые и являются контекстным определением величин или операций через связь с известными величинами и операциями. Контекстное определение строится на основе знания связи определяемого понятия с другими в контексте. Контекст по своему существу определяет некоторый смысл понятия. Контекстное определение можно именовать смысловым определением. Такие определения имеют широкое распространение в практике фиксации знания. Например, совокупность всех абзацев данного раздела есть контекстное определение контекстного определения. Может создаться впечатление, что почти все определения понятий являются контекстными. Контекстные определения почти всюду являются неполными. Здесь истина определяется контекстом всех текстов статьи.

3.3. Перечислительное определение. Это самое простое определение понятия, оно состоит из явного перечисления составляющих понятие терминов объектов. Такие определения содержат весь объем понятия и являются вербальными, или словесными. Имеется несколько типов конструкций простых определений. Наиболее распространенными являются следующие типы.

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

Второй тип - это определение через образцы, по которым можно восстановить полный объем понятия. Например, в определении N из-за невозможности явного перечисления всех целых чисел натуральный ряд определяется по образцам целых чисел, составляющих начало натурального ряда. N = 1, 2, 3,.. Предполагается, что такие определения «достраиваются» автоматически по образцам. Истина определяется своими представителями для схемы аксиом: 1=1, 2=2, 3=3, 4=4, 5=5,…

Третий тип - это определение, построенное на основе имеющегося определения с добавлением новых значений понятия или отдельных образцов объектов. Например, определение понятия словаря можно дать через перечисление всех видов словарей. Интеллсист содержит в БЗ словари из слов, терминов, строк, комментариев, паспортов и чисел. Определение фактической части БЗ для пользователя можно ограничить таким перечислением словарей. Истина может определяться на всех языка своим словесным изображением: истина, true, truth,...

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

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

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

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

3.4. Интенсиональное определение. Интенсиональное определение характеризуется следующими атрибутами. Оно должно содержать:

-      описание свойств, характеристик объектов, выделяющих определяемое в сравнении с другими объектами соответственно;

-      пояснения смысла термина указанием правил выделения его среди прочего;

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

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

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

3.5. Аксиоматическое определение. Аксиоматические определения являются фундаментальными. Это следует из существа самого понятия, определение которого строится из суждений (логических выражений). В информатике принято, что любое высказывание, содержащее знание, является прикладной аксиомой, определяющей величину (или константу), операцию или их комбинации. Аксиоматическим определением называется (конъюнктивная) совокупность утверждений, содержащих определяемое и определяющие понятия в этих утверждениях. При формулировках таких определений на ЕЯ будет возникать определенная трудность, связанная с распознаванием терминов из лексем, входящих в утверждения. Использование же ЯПП не будет вызывать трудностей распознавания терминов. Уже упоминалось, что каждое определение можно вполне именовать аксиоматическим определением. Можно выделить критерий для разделения чисто аксиоматических и «неаксиоматических» определений.

Любой ФЯ вполне определяет и использует аксиоматическое определение. Можно рассмотреть метаязык, определяющий ФЯ программирования, например, в форме Бэкуса-Наура. Любые синтаксические определения связаны с введением аксиоматических определений некоторых текстовых конструкций. Классическим примером аксиоматических определений являются также аксиомы логики. Если к типу определений подходить не строго, то формулировка определения любого типа представляет собой аксиому и, следовательно, оно является аксиоматическим. Может быть, в силу этих обстоятельств аксиоматические определения именуются фундаментальными.

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

Аксиоматические определения предназначены главным образом для представления знаний в Интеллсист. Все знания представляются обычно на части ЕЯ – ЯПП - путем выделения профессионального лексикона, создания семантической грамматики. В конечном счете, фразы ЯПП преобразуются транслятором в логические формулы внутреннего языка Лейбниц для формирования БЗ из отдельных аксиом, которые являются аксиомами предметной области (для объектов) или проблемной области (для операций).

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

Определить истину алгоритмически – это значит указать операции и порядок их применения для получения правильного искомого результата. Истина утверждается, вычисляется, доказывается, проверяется. Истина в ЕЯ связана с понятиями. Понятие есть пара (имя понятия, значение в момент рассмотрения). Более формально: понятие есть (имя, смысл) или (термин и значение).

В кластер операциональных определений входит и генетическое определение, которое предписывает правила порождения объекта, указывает на его происхождение в некоторой классификации или систематике. Такие определения подразумевают действия по формированию понятия или его определения. Ближе всех других к операциональному определению находится номинальное определение, которое является предписанием требований, какими должны быть определяемые объекты. Также близким является дескриптивное определение. Деятельное определение также входит в кластер алгоритмических определений, но оно предполагает больший упор в определении на физические перемещения или преобразования.

Любой вариант алгоритмического определения предполагает выполнение ряда операций следующего сорта:

-      как сделать объект, какие действия необходимы для формирования определяемого объекта;

-      как оперировать некоторым исходным материалом и что получится в результате выполнения операций на этом материале;

-      что делает объект и что получается в результате его деятельности, какой объект или какая сущность объекта;

-      что делается с объектом после применения операций из некоторого набора при получении определяемого объекта;

-      создание или синтез определяемого объекта.

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

По Гегелю осуществляется обобщение всего содержания системы научного знания в понятии «истина». В результате этого процесс развития системы научного знания принял логическую форму процесса определений истины. В системе абсолютного идеализма Гегеля категория «истина» приобрела значение логической субстанции мира – «абсолютной истины». Поскольку для Гегеля истина означала саму предметную сущность, то определения предметной сущности в мышлении были для него равнозначными определениями истины. Предметная сущность объективной действительности - это и есть, с точки зрения Гегеля, истина, поэтому определения предметной сущности есть не что иное, как определения истины.

3.7. Индуктивное определение. Индуктивное определение позволяет отталкиваться от некоторых исходных понятий путем применения некоторых логических операций строить новое определение нового понятия таким образом, что в процессе построения можно использовать данное понятие как рекурсивное. Рекурсивных определений в ФЯ чрезвычайно много, они являются экономными и эффективными в применениях. Для устного анализа рекурсивных определений возникают сложности запоминания глубинных состояний анализируемого определения. Важная особенность индуктивного определения заключена в том, что оно обобщает все предыдущие способы определений. Если рассмотреть некоторый способ определения и в определяющую часть поместить определяемое понятие, то осуществляется переход к индуктивному определению (если это возможно). Индуктивное определение строится обычно для тех объектов, которые имеют бесконечное число значений определяемого объекта. Например, ФЯ определяют бесконечные словари, хотя практическое использование словарей связано с конечным набором слов или терминов. Следует помнить одно важное ограничение на индуктивные определения: каждое индуктивное определение должно содержать «начальную точку» или частный случай определяемого понятия. Без «начальной точки» определение является неправильным, оно может привести к ошибочным решениям в задачах, использующих неправильное определение.

Понятие истины многозначно. Это зависит от формулировки самого изучаемого понятия. Вот некоторые примеры.

Предмет

Структура

Назначение

Понятие

Термин и лексема

Вычисления

Картина

Текст и рисунок

Ассоциация

Картина

Рисунок и текст

Художество

Язык

Грамматика и текст

Лингвистика

ЕЯ

Текст и синтактика

Анализ текстов

Программа

Имя программы и текст

Программирование

Логика

Утверждение и истина

В Интеллсист

Грамматика

Синтаксис и семантика

Язык






  1   2

Добавить документ в свой блог или на сайт

Похожие:

Разместите кнопку на своём сайте:
cat.convdocs.org


База данных защищена авторским правом ©cat.convdocs.org 2012
обратиться к администрации
cat.convdocs.org
Главная страница