Home

Courses

Computer Science

B619 Topics in Applied Logic

Credits: 1-6

Special topics in applied logic.

Fall 2018


Instructor: Daniel Leivant
Topic: Proof Thry & Contructive Math
Time: 2:30PM-3:45PM Mon, Wed
Location: IF1104

Spring 2019


Instructor: Daniel Leivant
Topic: Program Verification
Time: 1:00PM-2:15PM Mon, Wed
Location: Informatics West, Room 105

  • Course History

      Spring 2013


      Instructor: Daniel Leivant
      Topic: Program Verification/validatn
      Time: 2:30PM-3:45PM Mon, Wed
      Location: Lindley Hall, Room 019
      Course URL (syllabus link or course homepage)

      Fall 2011


      Instructor: Daniel Leivant
      Topic: Verification and Logics Of Programs
      Time: 2:30PM-3:45PM Mon, Wed
      Location: Lindley Hall, Room 019