Introduction to the metatheory of logical systems. Completeness, compactness, Loewenheim-Skolem, and undecidability theorems for first-order logic. Preview of non-standard models, second-order logic, and Godel's first incompleteness theorem. Course Hours:3 units; (3-0) NOT INCLUDED IN GPA
Students develop relevant skills for a successful academic or non-academic career. Topics include research and thesis writing strategies, presentation skills, preparing writing samples and articles for publication, teaching development including teaching portfolios, research statements, and CVs. Course Hours:3 units; (3S-0) NOT INCLUDED IN GPA
Students develop relevant skills for a successful academic or non-academic career. Topics include research and thesis writing strategies, presentation skills, preparing writing samples and articles for publication, teaching development including teaching portfolios, research statements, and CVs. Course Hours:3 units; (3S-0) NOT INCLUDED IN GPA