формализация
51условная формализация текста — заключается в особом употреблении пунктуации, применении стандартных средств внешней формы изложения, унифицированных реквизитов, условных знаков, символов и обозначений …
52ФОРМАЛЬНАЯ ТЕОРИЯ И ФОРМАЛИЗАЦИЯ ТЕОРИИ — (formal theory and formalization of theory) представление теоретических суждений в отношении специфического явления с точки зрения совокупности логических и дедуктивно взаимосвязанных пропорций, причем некоторые из суждений рассматриваются как… …
53ОРИЕНТАЦИЯ — формализация и далеко идущее обобщение понятия направления обхода. Определяется О. нек рых специальных классов пространств ( многообразий, векторных расслоений, Пуанкаре комплексов и т. д.). Современный взгляд на О. дается в рамках обобщенных… …
54Автоформализация — Термин «автоформализация» был предложен в начале 1980 х годов Г. Р. Громовым для разработанной им концепции  «Автоформализация профессиональных знаний». Г. Р. Громов исходно использовал этот термин для описания… …
55Мартынов, Виктор Владимирович — В Википедии есть статьи о других людях с такой фамилией, см. Мартынов. Виктор Владимирович Мартынов Дата рождения: 25 января 1924(1924 01 25) (88 лет) Место рождения: Одесса Научная сфера: Лингвистика …
56Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …
57ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …
58Аксиомы Пеано — Аксиомы Пеано  одна из систем аксиом для натуральных чисел. Аксиомы Пеано позволили формализовать арифметику. После введения аксиом стали возможны доказательства многих свойств натуральных и целых чисел, а также использование целых чисел для …
59Формальная арифметика — Аксиомы Пеано одна из систем аксиом для натуральных чисел. Аксиомы Пеано позволили формализовать арифметику. После введения аксиом стали возможны доказательства многих свойств натуральных и целых чисел, а также использование целых чисел для… …
60АБДУКЦИЯ — АБДУКЦИЯ познавательная процедура принятия гипотез. Впервые явно выделена Ч. С. Пирсом, который рассматривал абдукцию (абдуктивный вывод) наряду с индукцией и дедукцией. Ч. С. Пирс считал, что, отбирая среди необозримого множества гипотез… …
