Логическая семантика - теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.
Все словари Общий словарь
Случайные ссылки:
Микронихия (micronychia; микр- + гречес...
Элацин - гомогенная масса склеившихся и...
Бог, в религиозных верованиях сверхъест...
Верхолазные работы - работы на высоте б...
Тойма, река в Удмуртии и Татарстане, пр...
Поиск слов
Запросы для разгадывания кроссвордов и сканвордов • Необразованный • Анкета 13 букв • Необоснованный • Генерал 4 буквы • Намерение 5 букв Слова начинающиеся на Лог
Добавить комментарий
|