Перейти до вмісту
Головне меню
Головне меню
перемістити на бічну панель
сховати
Навігація
Головна сторінка
Поточні події
Нові редагування
Нові сторінки
Випадкова стаття
Участь
Портал спільноти
Кнайпа
Довідка
Сторінка для медіа
Пошук
Знайти
Зовнішній вигляд
Пожертвувати
Створити обліковий запис
Увійти
Особисті інструменти
Пожертвувати
Створити обліковий запис
Увійти
Сторінки для редакторів, які не ввійшли в систему
дізнатися більше
Внесок
Обговорення
Категорія
:
Семантика мов програмування
9 мов
Ελληνικά
English
فارسی
日本語
한국어
Português
Русский
Türkçe
中文
Редагувати посилання
Категорія
Обговорення
українська
Читати
Редагувати
Редагувати код
Переглянути історію
Інструменти
Інструменти
перемістити на бічну панель
сховати
Дії
Читати
Редагувати
Редагувати код
Переглянути історію
Загальний
Посилання сюди
Пов'язані редагування
Спеціальні сторінки
Постійне посилання
Інформація про сторінку
Отримати вкорочену URL-адресу
Завантажити QR-код
Друк/експорт
Створити книгу
Завантажити як PDF
Версія до друку
В інших проєктах
Елемент Вікіданих
Зовнішній вигляд
перемістити на бічну панель
сховати
Довідка
Матеріал з Вікіпедії — вільної енциклопедії.
Підкатегорії
Ця категорія має тільки таку підкатегорію.
Д
Денотаційна семантика
(1 С)
Сторінки в категорії «Семантика мов програмування»
Показано 6 сторінок цієї категорії (із 6).
Семантика (інформатика)
А
Аксіоматична семантика
Алгебраїчна семантика
Д
Денотаційна семантика
О
Операційна семантика
П
Принцип підстановки Лісков
Категорії
:
Логіка в інформатиці
Теорія мов програмування
