АКТИВНАЯ ЛОГИКА И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ: ОБЪЕДИНЕНИЕ ДВУХ КОНЦЕПЦИЙ

Συγγραφείς: И.Б. Фоминых, М.М. Виньков, А.К. Пожидаев

Θεματικοί όροι: жесткое реальное время, немонотонный вывод, аргументационная семантика, активная ло-гика, процедурная семантика

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/aktivnaya-logika-i-logicheskoe-programmirovanie-obedinenie-dvuh-kontseptsiy
http://cyberleninka.ru/article_covers/15936263.png

СЕМАНТИЧЕСКИЕ ОСНОВАНИЯ МОДЕЛИРОВАНИЯ КОММУНИКАТИВНОГО ДИСКУРСА В ИНТЕРНЕТ-ПРОСТРАНСТВЕ

Συγγραφείς: Шапиро, О.

Θεματικοί όροι: СЕМАНТИКА МОЖЛИВИХ СВіТіВ, АРГУМЕНТАТИВНА СЕМАНТИКА, ЛОГіЧНА МОДЕЛЬ, іНФОРМАЦіЯ, ЛОГіЧНЕ ЗНАЧЕННЯ, КОМУНіКАТИВНИЙ ДИСКУРС, ГЛОБАЛЬНА МЕРЕЖА ІНТЕРНЕТ, СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ, АРГУМЕНТАЦИОННАЯ СЕМАНТИКА, ЛОГИЧЕСКАЯ МОДЕЛЬ, ИНФОРМАЦИЯ, ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ, КОММУНИКАТИВНЫЙ ДИСКУРС, ГЛОБАЛЬНАЯ СЕТЬ ИНТЕРНЕТ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/semanticheskie-osnovaniya-modelirovaniya-kommunikativnogo-diskursa-v-internet-prostranstve
http://cyberleninka.ru/article_covers/15666150.png

Активная логика и логическое программирование: объединение двух концепций

Πηγή: Программные продукты и системы.

Θεματικοί όροι: жесткое реальное время, немонотонный вывод, аргументационная семантика, активная ло-гика, процедурная семантика

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/aktivnaya-logika-i-logicheskoe-programmirovanie-obedinenie-dvuh-kontseptsiy
http://cyberleninka.ru/article_covers/15936263.png

Семантические основания моделирования коммуникативного дискурса в интернет-пространстве

Πηγή: Вісник Національного університету «Юридична академія України імені Ярослава Мудрого». Серія: Філософія, філософія права, політологія, соціологія.

Θεματικοί όροι: СЕМАНТИКА МОЖЛИВИХ СВіТіВ, АРГУМЕНТАТИВНА СЕМАНТИКА, ЛОГіЧНА МОДЕЛЬ, іНФОРМАЦіЯ, ЛОГіЧНЕ ЗНАЧЕННЯ, КОМУНіКАТИВНИЙ ДИСКУРС, ГЛОБАЛЬНА МЕРЕЖА ІНТЕРНЕТ, СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ, АРГУМЕНТАЦИОННАЯ СЕМАНТИКА, ЛОГИЧЕСКАЯ МОДЕЛЬ, ИНФОРМАЦИЯ, ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ, КОММУНИКАТИВНЫЙ ДИСКУРС, ГЛОБАЛЬНАЯ СЕТЬ ИНТЕРНЕТ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15666150.png
http://cyberleninka.ru/article/n/semanticheskie-osnovaniya-modelirovaniya-kommunikativnogo-diskursa-v-internet-prostranstve