Teaching Logic for Computer Science Students: Proof Assistants and Related Tools

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

38 Downloads (Pure)

Abstract

In the last decade we have focused our main logic courses on proof assistants and related tools. We find that the modern computer science curriculum requires a focus on applications instead of just penand-paper proofs. Notably, we teach the metatheory of logic using tools with formalizations in proof assistants like Isabelle such that we have both implementations and theorems about them.
Original languageEnglish
Title of host publicationProceedings of LogTeach-22
Number of pages3
Publication date2022
Publication statusPublished - 2022
EventLogTeach-22 - Haifa, Israel
Duration: 31 Jul 20221 Aug 2022
https://www.cs.technion.ac.il/~janos/LogTeach-22/

Conference

ConferenceLogTeach-22
Country/TerritoryIsrael
CityHaifa
Period31/07/202201/08/2022
Internet address

Keywords

  • Logic
  • Automated Reasoning
  • Isabelle Proof Assistant

Fingerprint

Dive into the research topics of 'Teaching Logic for Computer Science Students: Proof Assistants and Related Tools'. Together they form a unique fingerprint.

Cite this