Skip to content
Archive of posts filed under the CM20019 category.

Clausal form

10 February 2004, 7:43 pm

E2 writeup on clausal form (as html/pdf)

Filed under CM20019, Logic, Prolog.
Comment

Language recognition and generation in Prolog

29 January 2004, 7:40 pm

E2 writeup on language recognition and generation in Prolog (as html/pdf)

Filed under CM20019, Logic, Prolog.
Comment

Prenex and Skolem normal forms

20 January 2004, 7:36 pm

E2 writeup on Prenex and Skolem normal forms (as html/pdf)

Filed under CM20019, Logic.
2 Comments

Semantic Tableaux proof method for predicate logic

16 January 2004, 7:32 pm

E2 writeup on semantic tableaux (as html/pdf)

Filed under CM20019, Logic.
Comment