Show sidebar
Show 30 45 60 75

Lecture 03: Particle Size Distribution, by Arnab Atta

,

Lecture 60: Colloids and Nanoparticles (Contd.), by Arnab Atta

,

Compactness & Analytic Tableau, by Arindama Singh

,

Relevance Lemma, by Arindama Singh

,

Sets and Strings, by Arindama Singh

,

Adequacy and Resolution Strategies, by Arindama Singh

,

FC, Semidecidability of FL, and Tableau, by Arindama Singh

,

Five Results about PL, by Arindama Singh

,

Axiomatic System FC, by Arindama Singh

,

Symbolization & Scope of Quantifiers, by Arindama Singh

,

Hurdles in Giving Meaning, by Arindama Singh

,

Arguing with Proofs, by Arindama Singh

,

Adequacy of PC, by Arindama Singh

,

Examples of Informal Proofs and Calculation, by Arindama Singh

,

Examples of Tableau Proofs, by Arindama Singh

,

Calculations and Informal Proofs, by Arindama Singh

,

Adequacy of Resolution, by Arindama Singh

,

Some Results about PC, by Arindama Singh

,

Propositional Calculus (PC), by Arindama Singh

,

Six Results about FL, by Arindama Singh

,

Analytic Tableau for FL, by Arindama Singh

,

Validity, Satisfiability & Equivalence, by Arindama Singh

,

Consequences and Equivalences, by Arindama Singh

,

Horn-SAT and Resolution, by Arindama Singh

,

Herbrand’s Theorem, by Arindama Singh

,

Goedel’s Incompleteness Theorems, by Arindama Singh

,

Skolem Form, by Arindama Singh

,

Unique Parsing, by Arindama Singh

,

Semantics of PL, by Arindama Singh

,

Syntax of first Order Logic (FL), by Arindama Singh

,