what is programming

Logic for CS

Course Description

This course covers lessons on propositional logic syntax and its semantics,tautology checking,analytic tableaux,formal theories,skalemization,resolution in FOL,verification of white,imperative programs and references.

Course Objective

This course covers lessons on propositional logic syntax and its semantics,tautology checking,analytic tableaux,formal theories,skalemization,resolution in FOL,verification of white,imperative programs and references.

Ask a Question

My Questions

Comment