Computer Science 2SC3
Imperative Programming and Basic Data Structures
Software Engineering 2S03
Principles of Programming
Fall 2008
Instructor:
William M. Farmer
Student Presentations
Presentation Requirements
(2-OCT-2008)
Presentation Schedule
(27-OCT-2008)
Presentations
Eden Burton:
An Introduction to Category Theory
Valentin Cassano:
A Sound and Complete Semantic Tableau System for Propositional Logic
Mustafa Elsheikh:
Ordinals
David Kelk:
Resolution Proof Systems
Christopher Kulbakas:
A Proof of the Schroeder-Bernstein Theorem
Richard Lyn:
Fuzzy Propositional Logic
Sepandar Sepehr:
Expert Systems
Amir Tavasoli:
Logic Programming using PROLOG
Jeffrey Wong:
Hyperreals Numbers
Mohammad Hosein Yarmand:
Church's Lambda Calculus: A Quick Overview
Qinglei Zhang:
Ackermann's Function