Веб-бібліотека - головна сторінка


НАУЧНО-ИССЛЕДОВАТЕЛЬСКАЯ ПРОГРАММА - основное понятие концепции науки Лакатоса. Под Н.-и.п. понимается серия сменяющих друг друга теорий, объединяемых определенной совокуп...
МЕНТАЛЬНОСТЬ (менталитет) - (от лат. mens - ум, мышление, образ мыслей, душевный склад) - глубинный уровень коллективного и индивидуального сознания, включающий и бес...
СОЦИАЛЬНАЯ СТАТИСТИКА - отрасль (раздел) статистики, изучающая количественно-качественные характеристики массовых социальных явлений и процессов. В историческ...
БОЛЬЦАНО Бернард - (5.10.1781, Прага - 18.12.1848, там же), чешский математик, философ, теолог. Занимал в 1805-20 кафедру истории религии Пражского ун-та, з...
ДОЛОГИЧЕСКОЕ - то, что предшествует логике. Идею о существовании дологической ментальности, присущей тем народам, которых не коснулась западная цивилиза...
Критерий истины - /D/ Wahrheitskriterium /Е/ Criterion of truth /F/ Criterium de la verite /Esp/ Criterio de la verdad. Мерило, средство проверк...
РЕЛИГИЯ - (от лат. religio - благочестие, набожность, святыня, предмет культа), мировоззрение и мироощу­щение, а также соответствующее поведение и...

ИСЧИСЛЕНИЕ

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