Формальная семантика. Татьяна Черниговская

(43)

Введение в неклассические логики, лекция 6. Формальная семантика естественного языка

(1:21:24)

Моисеева А. Ю. \

(24:25)

Миронов А.М. - Формальная семантика и верификация ПО - 4. Параллельные и распределенные программы

(1:21:44)

Миронов А.М. - Формальная семантика и верификация ПО - 10. Бимоделирование

(1:22:36)

Миронов А.М. - Формальная семантика и верификация ПО - 3. Функциональные программы

(1:15:13)

Зиборов К.В.-Формальная семантика и верификация ПО- Семинар 1.Введение в Isabelle.Лямбда-исчисление

(1:12:48)

Артём Арутюнян - \

(45:4)

Формальная и интуитивная семантика языка программирования на примерах JS и JSX

(46:6)

Общая семантика. Семантическая реакция. Альфред Коржибски. Здравомыслие. Психология. Психотерапия.

(15:53)

Миронов А.М. - Формальная семантика и верификация ПО - 12. Протокол Yaholom

(1:22:16)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 7. Индуктивные отношения

(1:1:35)

Миронов А.М. - Формальная семантика и верификация ПО - 9. Теория процессов. Понятие процесса

(1:25:12)

Миронов А.М. - Формальная семантика и верификация ПО - 11. Наблюдаемая эквивалентность

(1:25:51)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 2. Доказательства в Isabelle

(1:21:28)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 8. Язык Isar

(1:8:8)

Миронов А.М. - Формальная семантика и верификация ПО - 5. Неподвижные точки функциональных программ

(1:28:29)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 5. Переписывание термов

(49:9)