July 22nd, 2019

Семантика в программировании

https://ru.wikipedia.org/wiki/Семантика_(программирование)

Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ на этом языке программирования.

Семантика языка — это смысловое значение слов. В программировании — начальное смысловое значение операторов, основных конструкций языка и т. п.

Операционная семантика
Аксиоматическая семантика
Денотационная семантика
Интерпретационная семантика
Трансляционная семантика
Трансформационная семантика

модельное отношение по Вартофский

Вартофский Маркс
Создатель фундаментальной концепции моделирования. Ввёл понятие «модельное отношение» — то есть, отношения, в которое вступают моделируемое и моделирующее.

Вартофский Маркс
Модели. Репрезентация и научное понимание
https://www.klex.ru/ln3

ps из комментов от serj_aleks
https://metamodeling.livejournal.com/27412.html

большое ему serj_aleks спасибо, видимо ценная вещь, как раз пригодится для уточнения понятия модель с точки зрения разумного уточнения
мы о чемто таком тоже рассуждали
но как обычно пока сам не наметишь пути решения проблем, не найдешь того, кто такие проблемы уже решал ))

upd
Типология моделей по Марксу Вартофскому
Источник: https://vikent.ru/enc/4988/

Типология моделей по Марксу Вартофскому [продолжение]
Источник: https://vikent.ru/enc/4989/

метамоделирование как новая наука

метамоделирование как новая наука
ниже пространные рассуждения

и заметьте насколько идеи описываемые в моих заметках касательно сильного искусственного интеллекта и метамоделирования, а также вокруг всего этого, не находятся в мейнстриме, в тренде

наиболее известные имена философов/методологов/ученых и т.п. с которыми совпадает достаточно сильно моя позиция, ну или которые описывали родственные идеи, или которых я считаю полезными для сильного ИИ, не находятся в тренде и их мало знают и почти не цитируют в разработках по ИИ
Collapse )
upd
***А как по-другому? Если любая интеллектуальная практика — моделирование, то и обобщение таких практик — метамоделирование!
https://metamodeling.livejournal.com/28096.html

просто и логично!

(no subject)

Подделки были обнаружены в ходе производства инкассации. Голубь признал свою вину и рассказал, что банкноты покупал на сайте «Гидра». Пятитысячные купюры продавались за две тысячи рублей каждая. Товар нарушитель забирал в закладках в подъездах домов.
https://gmorder.livejournal.com/10734948.html

дедлайны идут лесом вместе с тупыми работодателями

***Одной из претензий моего начальника в Яндексе во время работы было то что не выполнял задачи вовремя, в дедлайны так сказать не укладывался. И не поспоришь ведь. Даже не смотря на то что сидел на работе то я много. Но толку не было.
https://lyuden.livejournal.com/187628.html


скажу так дедлайны идут лесом
пошли нах мудилы )
непростые задачи надо обдумывать и идёт лесом их все их дедлайны
но простым кодерам от этого не легче
тупой капитализм выставляет тупые требования с помощью разработок тупых методик тыпых консультантов, которые якобы офигительно все знают и учат других за бабки, но не фига сами не умеют и не сделали
ну а как вы хотите? если не будут локально-оптимальны, то не выживут
капитализм суть локальная оптимальность
социализм/коммунизм суть глобальная оптимальность
вот такто умники )

в итоге
дедлайны идут лесом вместе с тупыми работодателями

не, не, но реальность надо учитывать и конкурировать в том числе и способом который подразумевает домашние заготовки под тупых тестеров

обман как суперадаптация
все друг друга пытаются наигать, но в этом искусстве тоже конкуренция
все для всех поле для жратвы, капитализмус как биология, пожрать-посрать ))
не, ну я ни при чем, жизнь такая ))

метамодельный переход на практике )

***Электрочайники, как известно, быстро обрастают изнутри накипью, которую хрен отмоешь до конца.

хехе, дарю рецепт )
покупаете лимонную кислоту, пищевую лимонную кислоту, домохозяйки знают )
стоит копейки, закидываете в чайник и кипятите, потом полоскаете холодной водой
все иные рецепты отдыхают
тоже самое в стиралку и иные приборы где воду греть могут