Search results

Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML. This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introdu...

Presenting the most important results of a new branch of functional analysis - subdifferential calculus and its applications - this monograph details new tools and techniques of convex and non-smooth analysis, such as Kantorovich spaces, vector duality, Boolean-valued and infinitesimal versions of non-standard analysis, covering a wide range of topics. The book aims to fill the gap between the theoretical core of modern functional analysis and its applicable sections, such as optimization, optim...

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas.    This LNCS volume  is part of FoLLi book serie and conta...

This book equips the student with essential intellectual tools that are needed from the very beginning of university studies in computing. These consist of abilities and skills - to pass from a concrete problem to an abstract representation, reason with the abstract structure coherently and usefully, and return with booty to the specific situation. The most basic and useful concepts needed come from the worlds of sets (with also their employment as relations and functions), structures (notably t...

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical, and features: - Clear explanations of formal notation and jargon, - Extensive use of examples to illustrate algorithms and proofs,...

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and...

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation,...

This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resour...

The contents of this volume range from expository papers on several aspects of number theory, intended for general readers (Steinhaus property of planar regions; experiments with computers; Diophantine approximation; number field sieve), to a collection of research papers for specialists, which are at prestigious journal level. Thus, Number Theory and Its Applications leads the reader in many ways not only to the state of the art of number theory but also to its rich garden.

Einsatzfertige Lerneinheiten vermitteln fundamentale mathematische Techniken, die weit uber die Unterstufe hinaus von Bedeutung sind. Die Lerninhalte eignen sich auch zur gezielten Vorbereitung auf Mathematikwettbewerbe. Die Schuler*innen lernen den Euklidischen Algorithmus kennen und anzuwenden, und die Modulo-Rechnung wird ausfuhrlich behandelt. Stellenwertsysteme und ungewoehnliche Anwendungen der binomischen Formeln runden diesen Band ab. Zu allen Themengebieten fuhren die Schuler*innen Bewe...

Developed for the "transition" course for mathematics majors moving beyond the primarily procedural methods of their calculus courses toward a more abstract and conceptual environment found in more advanced courses, A Transition to Mathematics with Proofs emphasizes mathematical rigor and helps students learn how to develop and write mathematical proofs. The author takes great care to develop a text that is accessible and readable for students at all levels. It addresses standard topics such as...

This book provides a first course in set theory suitable for final year undergraduates in mathematics. The book develops the subject from first principles and presupposes little more than an elementary grounding in logic. Throughout much attention is paid to the subject's historical and philosophical development. The book differs from most books on set theory in that it aims in its approach to introduce the axioms of set theory in a natural way and to show how they come to take the form they do....

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Goedel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foun...

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentatio...

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiabl...

This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16-18 February 2003 in Bertinoro, Italy. Mathematical Knowledge Management is an exciting new ?eld at the int- section between mathematics and computer science. We need e?cient, new te- niques, based on sophisticated formal mathematics and software technology, to exploit the enormous knowledge available in current mathematical sources and to organize mathematical knowledge...

The researchpapersin this volumecomprisethe proceedingsofIceTAL 2010,an international conference on natural language processing (NLP). IceTAL was the seventh in the series of the TAL conferences, following GoTAL 2008 (Goth- burg, Sweden), FinTAL 2006 (Turku, Finland), EsTAL 2004 (Alicante, Spain), PorTAL2002(Faro,Portugal),VexTAL1999(Venice, Italy),andFracTAL1997 (Besancon,France).ThemaingoaloftheTALconferenceserieshasbeentobring together scientists representing linguistics, computer science, an...