Dr. Gurreet Brar, assistant professor, Department of Plant Science, translated a book from English to Punjabi. "When The Rivers Run Dry", authored by Fred Pearce, is about the looming water crisis globally. Taking about 400 hours to complete, the book includes chapters about U.S. rivers, Colorado River and Rio Grande, and a chapter dedicated to the California water situation.
|
|
Daniel Cunningham, lecturer, mathematics, has signed a contract with De Gruyter to publish his latest book, "Mathematical Logic: An Introduction." In the first chapter, the text will review the foundational topics that are typically covered in a sophomore introduction to proof course. In Chapter 2, we shall study the language of propositional logic. Chapter 3 will investigate the more powerful language of first order logic and the notion of a formal deduction in first order logic. We will prove Gödel's Completeness Theorem, a fundamental result, which asserts that a first-order sentence is valid if and only if it is deducible. Chapter 4 will establish Gödel's Incompleteness Theorem and investigate the computability concept. Mathematical Logic plays a fundamental role in computer science. One of the key areas of logic that are particularly significant to computer science is computability theory.
De Gruyter publishes first-class scholarship and has done so for more than 270 years. An international, independent publisher headquartered in Berlin, it publishes over 1,300 new book titles each year and more than 900 journals in the humanities, social sciences, medicine, mathematics, engineering, computer sciences, natural sciences and law.
|