'Examples of Informal Proofs and Calculation' Video Lecture

Examples of Informal Proofs and Calculation

Faculty: Prof. Arindama Singh

Institute: IIT Madras

Examples of Informal Proofs and Calculation - Click on the Video Link shown below to play the video on Youtube. Browse through Mathematical Logic (Mathematics) Video Lectures by Prof. Arindama Singh from IIT Madras through NPTEL.

NEXT LECTURE >> Prenex Form Conversion

Download this video in MP4, FLV & 3GP formats

Format	Size	Download
MP4	420 MB	MP4 Video Download Link 1
MP4	420 MB	MP4 Video Download Link 2
FLV	115 MB	FLV Video Download Link 1
FLV	115 MB	FLV Video Download Link 2
3gp	56 MB	3gp Video Download Link 1
3gp	56 MB	3gp Video Download Link 2

Search Courses by Discipline & Institute

Search Courses

Course Video Lectures Sets and Strings Syntax of Propositional Logic Unique Parsing Semantics of PL Consequences and Equivalences Five results about PL Calculations and Informal Proofs More Informal Proofs Normal forms SAT and 3SAT Horn-SAT and Resolution Resolution Adequacy of Resolution Adequacy and Resolution Strategies Propositional Calculus (PC) Some Results about PC Arguing with Proofs Adequacy of PC Compactness & Analytic Tableau Examples of Tableau Proofs Adequacy of Tableaux Syntax of First order Logic (FL) Symbolization & Scope of Quantifiers Hurdles in giving Meaning Semantics of FL Relevance Lemma Validity, Satisfiability & Equivalence Six Results about FL Laws in FL Quantifier Laws and Consequences Examples of Informal Proofs and Calculation Prenex Form Conversion Skolem Form Syntatic Interpretation Herbrand's Theorem Most General Unifiers Resolution Rules Resolution Examples Axiomatic System FC FC, Semidecidability of FL, and Tableau Analytic Tableau for FL Goedel's Incompleteness Theorems