Project TALLC
Project TALLC
Technology and Learning: Logic Course
  • Overview
  • Logic Learning Tools
    • State-Transition Problems
      • Dogs and Cats
      • Water Jugs
      • More River Crossings – (Coming Soon)
      • Towers of Hanoi
      • Last One Loses
      • Eight Tiles
    • Propositional Logic
      • Truth Functional Analysis
      • Rules of Transition
      • Proof Construction
      • Translation
      • Statement Reformulation
      • Premises & Conclusions
    • Other
    • Help
      • Running the applets
      • Grading and Certificates
  • Contact Us

Overview

Technology and Learning, Logic Course
Department of Philosophy
The University of North Carolina at Charlotte

Since 1983, computer programs have served as instructional aids within PHIL 2105 (a General Education, undergraduate course in Deductive Logic). Thousands of UNC Charlotte students have used the programs in that interval. Currently their implementation exists as Java applets that run across the Internet. These applets comprise a significant component of the resources provided by the Learning Management System via which Deductive Logic is taught each semester (Canvas).  Efforts are underway to transport these applets into non-Java code compatible with recent innovations in HTML, the code which delivers most information on the internet.

Skip to toolbar
  • Log In