Мова логічного типу - це
МОВА - знакова система, що використовується для цілей комунікації та пізнання. Системність Я. виявляється у наявності у кожному Я., крім словника, також синтез таксису і семантики. Синтаксис визначає правила утворення виразів Я. та їх перетворення, … … Філософська енциклопедія
МОВА НАУКИ — система понять, знаків, символів, створювана та використовувана тією чи іншою областю наукового пізнання для отримання, вираження, обробки, зберігання та застосування знань. Як спеціальна мова конкретних наук зазвичай використовується деякий ... ... Філософська енциклопедія
Ложбан мова — Ложбан Самоназва: la lojban Створено: Група Логічної Мови на основі мови логлан Регулююча організація: Група Логічної Мови Категорія: Логічна мова Класифікації … Вікіпедія
Mercury (мова програмування) — Цей термін має й інші значення, див. Mercury. Mercury Клас мови: логічний, функціональний З'явився в: 1995 Автор(и) … Вікіпедія
ФОРМАЛІЗОВАНА МОВА — 1) У широкому значенні – будь-яка сукупність деяким чином спеціалізованих мовних засобів з (більш-менш) точно фіксувань. правилами утворення виразів (синтакс і Ф. я.) і приписування цим виразам визнач. сенсу (семант … Філософська енциклопедія
Машина логічного висновку — Машина виведення програма, яка виконує логічний висновок із попередньо побудованої бази фактів та правил відповідно до законів формальної логіки. Факт у цьому випадку твердження, яке є постійно істинним, наприклад: «Адам є… … Вікіпедія
Icon (мова програмування) — Цей термін має й інші значення, див. Icon (значення). Icon Семантика: мультипарадигменний: імперативний, логічний … Вікіпедія
Go! (мова програмування) — Статтю, присвячену мові програмування, створеного Google Inc. див. Go (мова програмування) Go! Клас мови: багатопоточний З'явився в: 2003 р. Автор(и): Френсіс МакКейб, Кейт Кларк Ліцензія GPLv2 … Вікіпедія
Піфагор (мова програмування) — Цей термін має й інші значення, див. Піфагор (значення). Піфагор Семантика: функціональний, потоковий З'явився в: 1995 Автор(и): Легалов Олександр Іванович … Вікіпедія