Один недостаток у Сайта Галины Устиновой я все же нашел! Там , что бы оставить отзыв в разделе Обратная связь, нужна регистрация или залогиниться и поэтому свой отзыв остивляю здесь! Сайт ЗАМЕЧАТЕЛЬНЫЙ!!!!!!
ФИЛОСОФСКИЙ СЛОВАРЬ: Интерпретация и Модель - семантические понятия, играющие важную роль как в метаматематике и металогике, так и в науке в целом. Под интерпретацией в широком смысле понимают приписывание значений исходным выражениям исчисления, в силу чего получают смысл все правильно построенные выражения данного исчисления(Значение и смысл, Имя, Логическая семантика). Интерпретированное исчисление является, т.о. формализованным языком, в котором формулируются и доказываются различные высказывания, имеющие смысл. Формальное определение интерпретации можно дать, используя понятие модели.
Гость: Да, что есть, то есть...
Добавить комментарий: