Редактирование: МФСП, 02 семинар (от 08 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 12: | Строка 12: | ||
* Unit. Единственное значение, использующееся для функций без параметров | * Unit. Единственное значение, использующееся для функций без параметров | ||
- | + | ≡ Логика в RSL ≡ | |
Трёхзначная, помимо true/false есть ещё chaos (ошибка, нетипизированное). | Трёхзначная, помимо true/false есть ещё chaos (ошибка, нетипизированное). | ||
Строка 176: | Строка 176: | ||
b = false: false ≡ false = true | b = false: false ≡ false = true | ||
b = true: c ≡ c = true | b = true: c ≡ c = true | ||
- | + | выполняется | |
a or b or c ≡ a or (b or c) | a or b or c ≡ a or (b or c) | ||
Строка 184: | Строка 184: | ||
b = true: true ≡ true = true | b = true: true ≡ true = true | ||
b = false: c ≡ c = true | b = false: c ≡ c = true | ||
- | + | выплняется | |
(a=a)≡true — не выполняется | (a=a)≡true — не выполняется | ||
Строка 223: | Строка 223: | ||
∀ i: Int • ∃ j: Int; • (i >= j ≡ true) | ∀ i: Int • ∃ j: Int; • (i >= j ≡ true) | ||
- | + | Опиание функций в RSL | |
Прежде чем узнать описание функций, узнаем, что такое декартово произведение типов: | Прежде чем узнать описание функций, узнаем, что такое декартово произведение типов: |