My Courses
Login
Join for Free

Lecture

Mod-01 Lec-35 Lecture-35-Herbrand's Theorem

Video Player is loading.

Current Time 0:00

/

Duration 45:12

Loaded: 0%

Progress: 0%

Stream Type LIVE

Remaining Time -45:12

1x

Chapters

descriptions off, selected

captions settings, opens captions settings dialog
captions off, selected

This is a modal window.

Beginning of dialog window. Escape will cancel and close the window.

TextColorTransparency

BackgroundColorTransparency

WindowColorTransparency

Font Size

Text Edge Style

Font Family

End of dialog window.

Home
Indian Institute of Technology Madras
Mathematics - Mathematical Logic
Mod-01 Lec-35 Lecture-35-Herbrand's Theorem

Course Lectures

Mod-01 Lec-01 Sets and Strings

Play
Mod-01 Lec-02 Lecture-02-Syntax of Propositional Logic

Play
Mod-01 Lec-03 Lecture-03-Unique Parsing

Play
Mod-01 Lec-04 Lecture-04-Semantics of PL

Play
Mod-01 Lec-05 Lecture-05-Consequences and Equivalences

Play
Mod-01 Lec-06 Five results about PL

Play
Mod-01 Lec-07 Lecture-07-Calculations and Informal Proofs

Play
Mod-01 Lec-08 Lecture-08-More Informal Proofs

Play
Mod-01 Lec-09 Lecture-09-Normal forms

Play
Mod-01 Lec-10 Lecture-10-SAT and 3SAT

Play
Mod-01 Lec-11 Lecyture-11-Horn-SAT and Resolution

Play
Mod-01 Lec-12 Lecture-12-Resolution

Play
Mod-01 Lec-13 Lecture-13-Adequacy of Resolution

Play
Mod-01 Lec-14 Lecture-14-Adequacy and Resolution Strategies

Play
Mod-01 Lec-15 Lecture-15-Propositional Calculus (PC)

Play
Mod-01 Lec-16 Lecture-16-Some Results about PC

Play
Mod-01 Lec-17 Lecture-17-Arguing with Proofs

Play
Mod-01 Lec-18 Lecture-18-Adequacy of PC

Play
Mod-01 Lec-19 Lecture-19-Compactness & Analytic Tableau

Play
Mod-01 Lec-20 Lecture-20-Examples of Tableau Proofs

Play
Mod-01 Lec-21 Lecture-21-Adequacy of Tableaux

Play
Mod-01 Lec-22 Lecture-22-Syntax of First order Logic (FL)

Play
Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers

Play
Mod-01 Lec-24 Lecture-24-Hurdles in giving Meaning

Play
Mod-01 Lec-25 Lecture-25-Semantics of FL

Play
Mod-01 Lec-26 Lecture-26-Relevance Lemma

Play
Mod-01 Lec-27 Lecture-27-Validity, Satisfiability & Equivalence

Play
Mod-01 Lec-28 Lecture-28-Six Results about FL

Play
Mod-01 Lec-29 Lecture-29-Laws, Calculation & Informal Proof

Play
Mod-01 Lec-30 Lecture-30-Quantifier Laws and Consequences

Play
Mod-01 Lec-31 Lecture-31-More Proofs and Prenex Form

Play
Mod-01 Lec-32 Lecture-32-Prenex Form Conversion

Play
Mod-01 Lec-33 Lecture-33-Skolem Form

Play
Mod-01 Lec-34 Lecture-34-Syntatic Interpretation

Play
Mod-01 Lec-35 Lecture-35-Herbrand's Theorem

Playing
Mod-01 Lec-36 Lecture-36-Most General Unifiers

Play
Mod-01 Lec-37 Lecture-37-Resolution Rules

Play
Mod-01 Lec-38 Lecture-38-Resolution Examples

Play
Mod-01 Lec-39 Lecture-39-Ariomatic System FC

Play
Mod-01 Lec-40 Lecture-40-FC and Semidecidability of FL

Play
Mod-01 Lec-41 Lecture-41-Analytic Tableau for FL

Play
Mod-01-Lec-42 Lecture-42-Godels Incompleteness Theorems

Play

About | Terms | Privacy | Contact Us | Schools facebook twitter

© 2009-2025 Courses.com. All rights reserved.