Thinking about taking…
CS 260. Artificial Intelligence. Introduction to the principles and programming techniques of artificial intelligence. Strategies for searching, representation of knowledge and automatic deduction, learning, and adaptive systems. Survey of applications.
CS 278. Principles of Software Engineering. The nature of software. The object-oriented paradigm. Software life-cycle models. Requirements, specification, design, implementation, documentation, and testing of software. Object-oriented analysis and design. Software maintenance.
CS 284. Computer Systems Analysis. Techniques for evaluating computer system performance with emphasis upon application. Topics include measurement and instrumentation techniques, benchmarking, simulation techniques, elementary queuing models, data analysis, operation analysis, performance criteria, case studies. Project involving a real computer system.
MATH 283a. Modern Algebra. Group theory through Sylow theorems and fundamental theorem of finitely generated abelian groups.
PHILO 202. Formal Logic and Its Applications. A self-contained course designed to convey an understanding of the concepts of modern formal logic, to develop convenient techniques of formal reasoning, and to make some applications of them in one or more of the following: psychology, linguistics, structuralist studies, information and computer sciences, and the foundations of mathematics.