YoVDO

An Introduction to Walnut - Lecture 1

Offered By: Centre International de Rencontres Mathématiques via YouTube

Tags

Automata Theory Courses Computer Science Courses Discrete Mathematics Courses Number Theory Courses Logic Courses Formal Languages Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Theory
Stanford 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