Обсуждение:Семантика (программирование)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Семантика вычислений в трёх местах?

[править код]

В статье Формальные методы, семантика вычислений, а также в Семантика (программирование). Это как-то странно! РоманСузи 20:05, 30 декабря 2013 (UTC)[ответить]

Я случайно напоролся на семантика вычислений, и, поскольку уже сделал стратегия вычисления, повесил первую к удалению. Arachnelis (обс) 20:02, 30 сентября 2014 (UTC)[ответить]

Как "дисциплиной" выполнять алгоритмы?

[править код]

Опять очередной философ влез не в свои сани((( Запутали "демоны"! Покоробило включение в определение ещё и философизма "смысловое" (убила его текущая трактовка), которое анекдотично звучит в условиях алгоритмов искусственного интеллекта. На самом деле "семантика" (программирование) - это не дисциплина (тоже читаем определение), а название конечного (математического) множества, состоящего из словарных "семантических" элементов, каждый из которых представляет название элементарного процесса (==действия), зависящего от выбранной модели вычислительной машины и языка программирования. Дисциплина же по конструированию семантического множества - семантики (программирование) - языка программирования, крайне не уверен, что тоже должна именоваться "семантика"(( Александр Горбылёв (обс.) 05:24, 22 сентября 2025 (UTC)[ответить]