язык правил вывода
71ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… …
72АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …
73Знание (в информатике) — Знание форма существования и систематизации результатов познавательной деятельности человека. Выделяют различные виды знания: научное, обыденное (здравый смысл), интуитивное, религиозное и др. Обыденное знание служит основой ориентации человека в …
74Знание (понятие) — Знание форма существования и систематизации результатов познавательной деятельности человека. Выделяют различные виды знания: научное, обыденное (здравый смысл), интуитивное, религиозное и др. Обыденное знание служит основой ориентации человека в …
75Знания — Знание форма существования и систематизации результатов познавательной деятельности человека. Выделяют различные виды знания: научное, обыденное (здравый смысл), интуитивное, религиозное и др. Обыденное знание служит основой ориентации человека в …
76Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
77ТЕОРИЯ НАУЧНАЯ — наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях изучаемой области действительности. Примерами Т.н. являются классическая механика И. Ньютона, корпускулярная и волновая… …
78формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система… …
79ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ — отношение между некоторыми высказываниями (посылками) Г и высказыванием В (заключением), отображающее тот факт, что из Г, используя правильные приёмы рассуждения, можно получить В. В логике, фиксирующей нормы рассуждения с помощью… …
80БЕСКОНЕЧНАЯ ИНДУКЦИЯ — тот крайний вид индуктивного умозаключения, когда общее высказывание (суждение, положение) получается как заключение из бесконечной совокупности посылок, исчерпывающих все частные случаи. Пример Б. и.: 1 + 0 = 0 + 1; 1 + 1 = 1 + 1; 1 +2 = 2 + 1;… …