The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topology, complex analysis, algebra and geometry all interact in a deep way. This textbook offers an elementary introduction to this beautiful theory for an undergraduate audience.At the heart of the subject is the theory of elliptic functions and elliptic curves. A complex torus (or “donut”) is both an abelian group and a Riemann surface. It is obtained by identifying points on the complex...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programmin...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; log...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logi...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programmi...

A look at one of the most exciting unsolved problems in mathematics todayElliptic Tales describes the latest developments in number theory by looking at one of the most exciting unsolved problems in contemporary mathematics—the Birch and Swinnerton-Dyer Conjecture. In this book, Avner Ash and Robert Gross guide readers through the mathematics they need to understand this captivating problem.The key to the conjecture lies in elliptic curves, which m...

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The text includes...

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incomp...

Tough Test Questions? Missed Lectures? Not Enough Time? Textbook too Pricey?Fortunately, there's Schaum's. This all-in-one-package includes more than 600 fully-solved problems, examples, and practice exercises to sharpen your problem-solving skills. Plus, you will have access to 25 detailed videos featuring math instructors who explain how to solve the most commonly tested problems--it's just like having your own virtual tutor! You'll find everything you need to bu...

Understanding Minimalism, first published in 2005, is an introduction to the Minimalist Program - the model of syntactic theory within generative linguistics. Accessibly written, it presents the basic principles and techniques of the minimalist program, looking firstly at analyses within Government and Binding Theory (the Minimalist Program's predecessor), and gradually introducing minimalist alternatives. Minimalist models of grammar are presented in a step-by-step fashion, and the ways i...

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrenc...

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), u...