Książki obcojęzyczne - nauki ścisłe i przyrodnicze
Pokaż listę kategorii
Zawężone wyniki
Filtry
WYDAWCA
-
College Publications (18)
-
Packt Publishing (232)
-
KS OmniScriptum Publishing (188)
-
Alpha Editions (33)
-
Blurb (25)
-
Living Book Press (21)
-
More Books LLC (21)
-
World Scientific Publishing Co Pte Ltd (19)
-
Cambridge University Press (19)
-
Femi Amoo (18)
-
Peacock Press (17)
-
Lulu Press (12)
-
Read Books (12)
-
Periscope Film (12)
-
M.L. Humphrey (11)
Wybierz
AUTOR
Wybierz
JĘZYK
Znaleziono: 18 pozycji
Sortuj według:
- Popularność rosnąco
- Popularność malejąco
- Od najstarszych
- Od najnowszych
- Cena rosnąco
- Cena malejąco
- Tytuł od A do Z
- Tytuł od Z do A
- Autor od A do Z
- Autor od Z do A
- Wydawca od A do Z
- Wydawca od Z do A
Popularność malejąco
Wyświetl:
- 20
- 40
- 80
20
Elementary Logic with Applications
A Procedural Perspective for Computer Scientists
Wydawca:
College Publications
Elementary Logic with Applications is written for undergraduate logic and logic
programming courses. Logic has been applied to a wide variety of subjects such
The Haskell Road to Logic, Maths and Programming. Second Edition
Wydawca:
College Publications
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut ...
Proof Theory of N4-Paraconsistent Logics
Wydawca:
College Publications
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications
Volume 8, Issue 4, May 2021
Wydawca:
College Publications
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 1, February 2021. Special issue
Douglas Walton Remembered
Wydawca:
College Publications
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Many-Valued Logics
A Mathematical and Computational Introduction. Second Edition
Wydawca:
College Publications
Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, ...
Logical Consequences
Theory and Applications: An Introduction. 2nd Edition
Wydawca:
College Publications
The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with...
All about Proofs, Proofs for All
Wydawca:
College Publications
The development of new and improved proof systems, proof formats and
proof search methods is one of the most essential goals of Logic. But
what is a proof? What makes a proof better than another? H...
Abstract Algebraic Logic. An Introductory Textbook
Wydawca:
College Publications
Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emer...
Artificial Intelligence. What is it, exactly?
Wydawca:
College Publications
What exactly is artificial intelligence?
This book is for all those who are curious to learn what artificial intelligence (AI) is. It is a purposely brief introduction to t...
Handbook of Mathematical Fuzzy Logic, Volume 3
Wydawca:
College Publications
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...
The Axiom of Choice
Wydawca:
College Publications
This book presents an overview of the development of the
Axiom of Choice since its introduction by Zermelo at the
beginning of the last century. The book surveys the Axiom of
Choice from three pers...
A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso
Wydawca:
College Publications
This volume is dedicated to the memory of Paulo A. S. Veloso (1944-2020), a distinguished Brazilian logician. Veloso's scientific contributions are disseminated in the most important areas ...
Essays on Set Theory
Wydawca:
College Publications
Set theory, initially built on the Cantorian extension of number into the infinite and the Zermelian axiomatization affirming a foundation for mathematics, is today a rich and soph...
Model Theory for Beginners. 15 Lectures
Wydawca:
College Publications
This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, cat...
Proof-theoretic Semantics
Wydawca:
College Publications
This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as ...
Adventures in Formalism
Wydawca:
College Publications
Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are ...
Handbook of Epistemic Logic
Wydawca:
College Publications
Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a s...
Znaleziono: 18 pozycji
Sortuj według:
- Popularność rosnąco
- Popularność malejąco
- Od najstarszych
- Od najnowszych
- Cena rosnąco
- Cena malejąco
- Tytuł od A do Z
- Tytuł od Z do A
- Autor od A do Z
- Autor od Z do A
- Wydawca od A do Z
- Wydawca od Z do A
Popularność malejąco
Wyświetl:
- 20
- 40
- 80
20