RealFeedApp Agda вводит новую теорию языков программирования
Книга представляет собой введение в теорию языков программирования с использованием помощника для доказательства теорем Agda, охватывая логические основы, индукцию и равенство.
- Область
- программирование
- Что сделали
- Авторы написали учебное пособие, которое вводит основы теории языков программирования с использованием системы доказательств Agda.
- Зачем это
- Материал предназначен для обучения и содержит упражнения, чтобы помочь читателям понять логику построения языков программирования.
#agda#programming language theory#proof assistant#logic#induction
