Lectures related to Formal semantics (natural language)

Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Explores translating natural language to propositional logic, Boolean search, logic puzzles, circuits, and Sudoku.

Explores applications of propositional logic, including translations and Boolean search for document queries.

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Provides an overview of grammars and parsers in computer language processing.