Notebooks

New Page

Graphs and digraphs, complement, isomorphism

Connectedness and reachability, adjacency matrix

Eulerian paths and circuits in graphs and digraphs

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

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