суббота, 5 сентября 2020 г.

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

Оптимизирую определение СЕМАНТИКИ, сформулированное Гутнером Г. Б.

Семантика — дисциплина изучения знаковых структур как средств выражения смысла.

Курс концептуализации термина СЕМАНТИКА - интерпретация синтаксиса компьютерных языков. СИНТАКСИС и есть средство выражения СЕМАНТИКИ. ЛЕКСИЧЕСКИЕ АРХИТЕКТУРЫ "натуральной" лингвистики каждым субъектом интепретируются в соответствии с онтологическим профилем, который по сути динамичен и многозначен. Проблема интеллекта в концентрации на интенсионале, в фокусировке, целеустремленности. Компьютерные интерпретаторы однозначны в принципе, поэтому здесь проблема в разнообразии СИНТАКСИСА, а СЕМАНТИКА тривиальна.

Питтс Э.М. Семантика языков программирования

10 комментариев:

  1. О разрешимости теорий регулярных языков
    https://link.springer.com/article/10.1007/s00224-020-09995-4
    Relativism and Perspectival Content
    https://members.phl.univie.ac.at/koelbel/wp-content/uploads/sites/2/2020/07/MKRelativismPerspectivalContent.pdf

    ОтветитьУдалить
  2. Концепции языков программирования
    https://www.hse.ru/data/2010/03/28/1217410373/programming-1-syntax-semantics.pdf
    https://docplayer.ru/51979867-Koncepcii-yazykov-programmirovaniya.html
    Основные концепции языков программирования Роберт У. Себеста
    http://www.tnu.in.ua/study/refs/d191/file1460206.html
    https://www.studmed.ru/sebesta-ru-osnovnye-koncepcii-yazykov-programmirovaniya_f6ccd596307.html
    https://litmy.ru/knigi/programming/164091-osnovnye-koncepcii-yazykov-programmirovaniya.html

    ОтветитьУдалить
  3. Основные понятия языков программирования
    http://flash-library.narod.ru/Ch-Informatics/lektion/lektion6.html
    https://wiki.spbu.ru/Братчиков_Игорь_Леонидович
    Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта
    http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=trspy&paperid=110&option_lang=rus
    https://www.twirpx.com/file/1406346

    ОтветитьУдалить
  4. Компьютерное моделирование
    https://sites.google.com/site/proektkomputernoemodelirovanie/komputernoe-modelirovanie
    http://simulation.su/uploads/files/default/2015-kurs-lection-leonova-1.pdf

    ОтветитьУдалить
  5. Concept Programming
    https://xlr.sourceforge.io/Concept%20Programming%20Presentation.pdf
    https://en.wikipedia.org/wiki/Christophe_de_Dinechin
    https://ru.wikipedia.org/wiki/Итератор#Генераторы

    ОтветитьУдалить
  6. Единицы метаданных DCMI
    https://web.archive.org/web/20080514012308/http://beshenov.ru/dcmi-terms.html
    Распределенная Архитектура
    https://coderlessons.com/tutorials/akademicheskii/izuchite-dizain-arkhitektury-programmnogo-obespecheniia/raspredelennaia-arkhitektura
    https://ru.wikipedia.org/wiki/Дублинское_ядро
    https://ru.wikipedia.org/wiki/AIML
    https://coderlessons.com/tutorials/xml-tekhnologii/vyuchit-aiml/aiml-teg-uslovie

    ОтветитьУдалить
  7. https://ru.wikipedia.org/wiki/Семантические_веб-сервисы
    Зуев Евгений Александрович
    https://sites.google.com/site/zouev54/Home/who-am-i
    https://ru.wikipedia.org/wiki/Zonnon
    https://ru.qwe.wiki/wiki/Zonnon
    https://ru.wikipedia.org/wiki/Теория_языков_программирования
    ОСОБЕННОСТИ СЕМАНТИКИ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ
    https://cyberleninka.ru/article/n/osobennosti-semantiki-yazykov-programmirovaniya

    ОтветитьУдалить
  8. Модели, методы и средства параллельной переработки сложноструктурированных знаний в интеллектуальных системах
    https://www.bsuir.by/ru/kaf-iit/golenkov-v-v
    https://libeldoc.bsuir.by/bitstream/123456789/25384/1/Gulyakina_Yazyki.PDF
    ---
    ИНТЕГРАЦИЯ НАУК В ПОИСКАХ СМЫСЛА В РАМКАХ СОВРЕМЕННОЙ СЕМАСИОЛОГИИ
    https://cyberleninka.ru/article/n/integratsiya-nauk-v-poiskah-smysla-v-ramkah-sovremennoy-semasiologii
    Дацюк Сергей Аркадьевич
    http://lit.lib.ru/d/dacjuk_s_a

    ОтветитьУдалить
  9. https://sushilshik.livejournal.com/296397.html

    https://ru.wikipedia.org/wiki/Демарко,_Том
    https://ru.wikipedia.org/wiki/Метрика_программного_обеспечения
    https://ru.wikipedia.org/wiki/Качество_программного_обеспечения

    ОтветитьУдалить