Reasoning via Semantic Transformations

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a thought-provoking 26-minute conference talk presented at LAFI'24, focusing on the concept of reasoning through semantic transformations. Delve into advanced topics in programming language theory and formal methods as the speaker discusses innovative approaches to logical reasoning and problem-solving. Gain insights into how semantic transformations can be applied to enhance reasoning processes and potentially revolutionize computational thinking.

Syllabus

[LAFI'24] Basis Talk: Reasoning via Semantic Transformations

Taught by

ACM SIGPLAN

Related Courses

Introduction to Logic
Stanford University via Coursera Lógica y usos
Miríadax Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera