https://wiki.devclub.in/index.php?action=history&feed=atom&title=COL703 2026-04-09T07:49:49Z Revision history for this page on the wiki MediaWiki 1.45.1 https://wiki.devclub.in/index.php?title=COL703&diff=570&oldid=prev 2026-03-04T09:59:54Z

<p>Creating course page via bot</p> <p><b>New page</b></p><div>{{Infobox Course<br /> | code = COL703<br /> | name = Logic for Computer Science<br /> | credits = 4<br /> | credit_structure = 3-0-2<br /> | pre_requisites = COL106 OR Equivalent<br /> | overlaps = COL765 &amp; COL226<br /> }}<br /> <br /> == COL703 : Logic for Computer Science ==<br /> Review of the principle of mathematical induction; the principle of structural induction; review of Boolean algebras; Syntax of propositional formulas; Truth and the semantics of propositional logic; Notions of satisfiability, validity, inconsistency; Deduction systems for propositional logic; Completeness of deduction systems; First order logic (FOL); Proof theory for FOL; introduction to model theory; completeness and compactness theorems; First order theories. Programming exercises will include representation and evaluation; conversion to normal-forms; tautology checking; proof normalization; resolution; unification; Skolemization, conversion to Horn-clauses; binary-decision diagrams. Decidability, undecidability and complexity results. Introduction to formal methods, temporal/modal logics. COL707 Introduction to Ethical Issues in Computer Science 4 credits (3-0-2) Pre-requisite(s):</div>

Prashantt492