Notebooks

New Page

Hamiltonian paths and circuits in graphs and tournaments

Trees; Planar graphs, Euler’s formula, dual of a planer graph

Independence number and clique number, chromatic number, statement of Four-color theorem

Propositional calculus - propositions and connectives, syntax

Semantics - truth assignments and truth tables, validity and satisfiability, tautology

Adequate set of connectives; Equivalence and normal forms

Compactness and resolution

Formal reducibility - natural deduction system and axiom system

Soundness and completeness

Syllabus - Discrete Mathematics (CB101)

← Previous
1
2
…
70
71
72
73
74
75
76
77
78
…
929
930
Next →