Introduction to mathematical logic: propositional logic, first-order logic, completeness, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.

Not available at this time

Not available at this time

Since 2000, Russia has turned from a country reeling from a transition away from Communism to a strong state with a renewed sense of national identity and purpose. Yet there are important questions still to be asked and answered about where Russia is headed. This class will give students the analytical tools and the historical background to understand and intelligently debate and discuss the past, present and future of Russia.

Representative poets of the 16th century. Attention to the Petrarchan tradition; the Pleiade; women poets.

Not available at this time.

The definite integral, techniques of integration, and applications to physics, chemistry, and engineering. Sequences, series, and power series. Taylor and MacLaurin series.

The definite integral, techniques of integration, and applications to physics, chemistry, and engineering. Sequences, series, and power series. Taylor and MacLaurin series.

The definite integral, techniques of integration, and applications to physics, chemistry, and engineering. Sequences, series, and power series. Taylor and MacLaurin series.

The definite integral, techniques of integration, and applications to physics, chemistry, and engineering. Sequences, series, and power series. Taylor and MacLaurin series.