Nejnižší cena za posledních 60 dní: 1 705 Kč
Ceny a dostupnost se mohou měnit i několikrát za den. Zkontrolujte si aktuální údaje přímo v e-shopech. Všechny dostupné barvy a velikosti naleznete přímo v e-shopech.
Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godel's famous incompleteness theorem.
Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Lowenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic.
In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Godel translation, the disjunction and existence property
Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read
In The Ritual Process: Structure and Anti-Structure, Victor Turner examines rituals of the Ndembu in Zambia and develops his now-famous concept of Communitas. He characterizes it as an absolute inter-human relation beyond any form of structure.The Ritual Process has acquired the status of a small
Includes access to student companion website. Updated to align to the latest 2013 ACM/IEEE Computer Science curricula, Discrete Structures, Logic, and Computability, Fourth Edition is designed for the one- to two-term Discrete Mathematics course. The structure of the book supports the spiral method
Hair Structure and Chemistry Simplified, Fifth Edition is the most current, comprehensive and straightforward textbook of its kind. This new edition thoroughly explains the theory and application of the essential concepts of hair chemistry that are simply not covered in other texts. Material unique
This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate- functor logic and the affinities between higher set theory and the
An exceptionally clear, concise, and affordable introduction to logic, The Logic Manual carefully walks beginning philosophy students through the fundamentals, offering them a real understanding of how and why logic works. Author Volker Halbach presents essential concepts through examples, informal
Stereoelectronic Effects illustrates the utility of stereoelectronic concepts using structure and reactivity of organic molecules An advanced textbook that provides an up-to-date overview of the field, starting from the fundamental principles Presents a large selection of modern examples of
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the
Advanced Algorithms and Data Structures expands on the basic algorithms you already know to give you a better selection of solutions to different programming problems. As a software engineer, you'll encounter countless programming challenges that initially seem confusing, difficult, or even
Geological Structures and Maps: A Practical Guide, Fourth Edition is a highly illustrated guide that introduces the skills of interpreting a geological map and relating it to the morphology of the most important types of geological structures. Photographs of structures are set alongside their
For courses in problem solving and programming logic. Making complex programming concepts accessible to every student Starting Out with Programming Logic and Design is a language-independent introductory programming book, teaching students programming concepts and logic without assuming any
Featuring a major synthesis and critique of interdisciplinary narrative theory, Story Logic marks a watershed moment in the study of narrative. David Herman argues that narrative is simultaneously a cognitive style, a discourse genre, and a resource for writing. Because stories are strategies that
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics
Implement classic and functional data structures and algorithms using Python Key Features A step by step guide, which will provide you with a thorough discussion on the analysis and design of fundamental Python data structures. Get a better understanding of advanced Python concepts such as big-o
In this long-awaited second edition of Economy/Society Markets, Meanings, and Social Structure, authors Carruthers and Babb continue to offer an accessible introduction to the way social arrangements affect economic activity, and shows that economic exchanges are deeply embedded in social
Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retained in this Third Edition, include: simpler ways to test arguments, including an innovative proof method and the star test for
Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal,
The Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and