формальный правильность
Смотреть что такое "формальный правильность" в других словарях:
ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом Я., помимо словаря, также с и н таксиса и семантики. Синтаксис определяет правила образования выражений Я. и их преобразования,… … Философская энциклопедия
ЭЛЕМЕНТАРНЫЕ ЧАСТИЦЫ — Введение. Э. ч. в точном значении этого термина первичные, далее неразложимые ч цы, из к рых, по предположению, состоит вся материя. В совр. физике термин «Э. ч.» обычно употребляется не в своём точном значении, а менее строго для наименования… … Физическая энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
Элементарные частицы — Введение. Э. ч. в точном значении этого термина первичные, далее неразложимые частицы, из которых, по предположению, состоит вся материя. В понятии «Э. ч.» в современной физике находит выражение идея о первообразных сущностях,… … Большая советская энциклопедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
Федеральный суд США — (USA Federal judiciary) Федеральный суд США это орган судебной власти США федерального уровня, созданный правительством для разрешения споров федерального уровня Федеральный суд США: федеральная судебная система США, кем назначаются судьи… … Энциклопедия инвестора
РАДУЖНАЯ ОБОЛОЧКА — (iris) является передним отделом сосудистого тракта глаза и представляет собой круглую пластинку. Она помещается позади роговой оболочки и впереди хрусталика, отделяя переднюю камеру глаза от задней. В центре Р. о., несколько кнутри,… … Большая медицинская энциклопедия
МАТКА — (uterus), орган, являющийся источником менструальной крови (см. Менструация) и местом развития плодного яйца (см. Беременность, Роды), занимает центральное положение в половом аппарате женщины и в тазовой полости; лежит в геометрическом центре… … Большая медицинская энциклопедия
СТАТИСТИКА — СТАТИСТИКА. 1. Краткая история, предмет и основные понятия общей статистики. Предметом С. являет ся изучение совокупностей внутренне связанных хотя и внешне обособленных элементов. Внутренняя закономерность последних находит свое проявление… … Большая медицинская энциклопедия
ВОЛЯ — [греч. θέλημα, θέλησις; лат. voluntas, velle], сила, неотъемлемо присущая природе разумного существа, благодаря к рой оно стремится достигнуть желаемого. В Свящ. Писании понятие В. имело следующие основные смыслы: В. Божия, выражающаяся в… … Православная энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
