Вопросы с тегом «semantics»

1
В чем разница между значением и обозначением?
В программировании семантики языка, он часто слышал , что люди говорят о означая и денотат . Кажется, они не одинаковы. В чем разница? Связано ли первое с операционной семантикой, а второе - с денотационной семантикой? Спасибо.
1
В какой области теории может использоваться дополнительная структура, присутствующая в метрических пространствах?
Глава Смита в руководстве по логике в области компьютерных наук и другие ссылки описывают, как метрические пространства могут использоваться в качестве областей. Я понимаю, что полные метрические пространства дают уникальные неподвижные точки, но я не понимаю, почему метрические пространства важны. Буду очень признателен за любые мысли по следующим вопросам. Каковы …
3
Что такое хороший словарь по теории категорий и теории доменов?
Имея дело с теоретико-областными категориями (скажем, CPO и CPO), я часто хотел бы найти словарь для языка теории категорий в теории областей.ωω\omega То есть, учитывая концепцию, скажем, моническую стрелку, я мог бы найти ее в словаре и посмотреть, каковы ее известные характеристики в разных категориях предметной области. Я понимаю, что …
2
Сертифицированный компилятор и оптимизации в Coq / Agda
Меня интересуют проверенные компиляторы, формализованные в теории типов Мартина-Лёфа, т.е. Coq / Agda. На данный момент я написал небольшой игрушечный пример. Тем самым я могу доказать, что мои оптимизации верны. Например, могут быть исключены дополнения с нуля, например, выражения типа «x + 0». Существуют ли оптимизации, которые сложно выполнить с …
2
Формальное определение / встречная часть в математике для «объектов» объектно-ориентированных моделей
Это вопрос, который я задал на форуме по математике SE, и меня сюда направили. Так вот вопрос Я новичок в формальной математике и теоретической информатике, поэтому, пожалуйста, потерпите меня, если вы обнаружите, что мой вопрос не сформулирован должным образом. Объектно-ориентированное моделирование кажется очень полезным при определении сложных взаимодействий при моделировании …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.