An Introduction to Walnut - Lecture 1
Offered By: Centre International de Rencontres Mathématiques via YouTube
Course Description
Overview
Explore the fundamentals of Walnut in this comprehensive lecture delivered by Narad Rampersad at the Centre International de Rencontres Mathématiques in Marseille, France. Recorded during the thematic meeting on "Discrete Mathematics and Computer Science" on January 30, 2024, this 1 hour and 35 minute presentation offers an in-depth introduction to the subject. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which features chapter markers, keywords, enriched content with abstracts and bibliographies, and a multi-criteria search function. Delve into the world of discrete mathematics and computer science, gaining valuable insights from this expertly crafted lecture.
Syllabus
Narad Rampersad: An introduction to Walnut - Lecture 1
Taught by
Centre International de Rencontres Mathématiques
Related Courses
Automata TheoryStanford University via edX 理论计算机科学基础 | Introduction to Theoretical Computer Science
Peking University via edX 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera System Validation: Automata and behavioural equivalences
EIT Digital via Coursera System Validation (3): Requirements by modal formulas
EIT Digital via Coursera