Veni Vidi Vici - ЛОГИЧЕСКАЯ СЕМАНТИКА ,

Новости образования

Рефераты

Нормативные документы

Для отдыха

Для жизни

Сервисы

В Томской области состоялось чествование лучших педагогов года

Слет «ПЕДпроСВЕТ» состоялся в ОмГПУ

Конкурс компьютерного творчества Digital Art объединил школьников Тульской и Херсонской областей

Смотреть все новости

Загадка с тканью
Смотреть все загадки

Что не так в этой картинке?

Здравствуйте, гость ( Вход | Регистрация )

Veni Vidi Vici > On-line cловари

Введите слово для поиска

Результаты поиска

Современный толковый словарь

ЛОГИЧЕСКАЯ СЕМАНТИКА , - теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.

Ссылка на документ: ЛОГИЧЕСКАЯ СЕМАНТИКА ,

Текстовая версия

Лицензия зарегистрирована на: Veni Vidi Vici

Контакты | Поддержка | База знаний

Александр Григорьевич ГРАНБЕРГ
экономист, академик (1990). >>>
Смотреть календарь

В течение 25 июня на фронте существенных изменений не произошло. >>>
Смотреть календарь

ОТДЕЛЫВАТЬСЯ отделываюсь, отделываешься, несов. 1. Несов. к отделаться (разг.). Был молчалив, при встрече с знакомыми отделывался двумя-тремя словами. Гончаров. 2. Страд. к отделывать. Здание отделывается снаружи и внутри.