Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
October 20, 2017July 4, 2019

ISSOTL 2017 Presentation of Student-Oriented Logic Course

Uncategorized by rzach

Aaron had a poster presentation at last week’s ISSOTL conference in Calgary, presenting the results of our evaluation of his intro logic course using some novel delivery techniques and the Calgary remix of forall x.

issotl-poster

Download the poster here.

Post navigation

Natural Deduction Rules in forall x: Calgary
forall x YYC: Winter is coming

What is This?

It’s is an open-source, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a non-mathematical audience. Read more in About.

News

  • The Open Logic Project is 10!
  • Follow the Open Logic Project on Mastodon
  • Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
  • forall x: Calgary goes international (and other updates)
  • Many-valued logic in the OLP

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.