Log in

Relevant bibliographies by topics / Predicate calculus / Books

Books on the topic 'Predicate calculus'

To see the other types of publications on this topic, follow the link: Predicate calculus.

Author: Grafiati

Published: 4 June 2021

Last updated: 26 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 37 books for your research on the topic 'Predicate calculus.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Dijkstra, Edsger W., and Carel S. Scholten. Predicate Calculus and Program Semantics. New York, NY: Springer New York, 1990. http://dx.doi.org/10.1007/978-1-4612-3228-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dijkstra, Edsger Wybe. Predicate calculus and program semantics. New York: Springer-Verlag, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dijkstra, Edsger Wybe. Predicate calculus and program semantics. New York: Springer-Verlag, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Dijkstra, Edsger Wybe. Predicate Calculus and Program Semantics. New York, NY: Springer New York, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Simpson, Stephen G. Subsystems of second order arithmetic. Berlin: Springer, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Simpson, Stephen G. Subsystems of second-order arithmetic. 2nd ed. Cambridge: Cambridge University Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Simpson, Stephen G. Subsystems of second-order arithmetic. 2nd ed. Cambridge: Cambridge University Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Simpson, Stephen G. Subsystems of Second Order Arithmetic. 2nd ed. Leiden: Cambridge University Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Büning, H. Kleine. Aussagenlogik: Deduktion und Algorithmen. Stuttgart: B.G. Teubner, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Naishtat, Francisco S. Lógica para computación. [Buenos Aires]: Editorial Universitaria de Buenos Aires, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Lemmon, E. J. Beginning logic. Boca Raton, FL: Chapman & Hall/CRC, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Pollock, John L. Technical methods in philosophy. Boulder: Westview Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

France, Société mathématique de, ed. Quantification relativiste. Montrouge: Société Mathématique de France, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Stuart, Glennan, ed. Elements of deductive inference: An introduction to symbolic logic. Belmont, CA: Wadsworth Publishing, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Orlova, Dar'ya, Sergey Kochedykov, Vyacheslav Chertov, and Viktor Novosel'cev. LANGUAGE TOOLS FOR CREATING INFORMATION TECHNOLOGIES FOR INTELLIGENT DECISION-MAKING SUPPORT. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2129777.

Full text

Abstract:

The monograph deals with the problem of choosing language tools for the creation of information technologies of intellectual decision support in the management of critical objects of the social sphere. It includes seven chapters: introductory chapter - system understanding of information technology of intellectual decision support; language of matrices; logical languages (calculus of statements and predicate calculus); language of semantic networks; language of fuzzy sets; language of frames; language of artificial neural networks; language of mathematical optimization. Examples of using these language tools to create information technologies for intellectual support of decision-making in various problem areas are given. It is oriented on students studying on the educational program of higher education: 09.03.02 - "Information systems and technologies" on a profile "Applied information systems and technologies", and also postgraduate students, oriented on protection of dissertations on a specialty: 1.2.3 - "Management in organizational systems". The material of the monograph will be useful for specialists dealing with practical issues of development and implementation of information technologies.

APA, Harvard, Vancouver, ISO, and other styles

16

The criminology of white-collar crime. New York, NY: Springer, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

1942-, Moor James, Nelson Jack 1944-, and Bergmann Merrie, eds. Solutions to selected exercises in The logic book. 3rd ed. New York: McGraw-Hill, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

Dijkstra, Edsger Wybe. Predicate Calculus and Program Semantics. Springer, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Propositional and Predicate Calculus A Model of Argument. London: Springer-Verlag, 2005. http://dx.doi.org/10.1007/1-84628-229-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Propositional and Predicate Calculus: A Model of Argument. Springer, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Goldrei, Derek. Propositional and Predicate Calculus: A Model of Argument. Springer, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Cori, Rene, and Daniel Lascar. Mathematical Logic: A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems. Oxford University Press, USA, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Cori, Rene, and Daniel Lascar. Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems. Oxford University Press, USA, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

Pelletier, Donald H., Rene Cori, and D. Lascar. Mathematical Logic - A Course with Exercises Pt. 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems. Oxford University Press, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Daugherty, Padric. A decidable sequent calculus theorem prover using controlled contraction. 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

Kleene, Stephen C., and Stephen C. Keene. Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1). American Mathematical Society, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

Guenthner, Franz, and Siegfried J. Schmidt. Formal Semantics and Pragmatics for Natural Languages. Springer London, Limited, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

Bessie, Joseph, and Stuart Glennan. Elements of Deductive Inference: An Introduction to Symbolic Logic. Wadsworth Publishing, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

Elements of Deductive Inference: An Interduction to Symbolic Logic. Thomson Learning, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

Pollock, John. Technical Methods in Philosophy. Taylor & Francis Group, 2019.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Pollock, John. Technical Methods In Philosophy. Routledge, 2021.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

Simpson, Sally S., and David Weisburd. The Criminology of White-Collar Crime. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Bowen, K. A. Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi. Springer London, Limited, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

Bowen, K. A. Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

Schroeder, Daniel V. An Introduction to Thermal Physics. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780192895547.001.0001.

Full text

Abstract:

Thermal physics deals with collections of large numbers of particles—typically 10²³ or so. Examples include the air in a balloon, the water in a lake, the electrons in a chunk of metal, and the photons given off by the sun. We can't possibly follow every detail of the motions of so many particles. So in thermal physics we assume that these motions are random, and we use the laws of probability to predict how the material as a whole ought to behave. Alternatively, we can measure the bulk properties of a material, and from these infer something about the particles it is made of. This book will give you a working understanding of thermal physics, assuming that you have already studied introductory physics and calculus. You will learn to apply the general laws of energy and entropy to engines, refrigerators, chemical reactions, phase transformations, and mixtures. You will also learn to use basic quantum physics and powerful statistical methods to predict in detail how temperature affects molecular speeds, vibrations of solids, electrical and magnetic behaviors, emission of light, and exotic low-temperature phenomena. The problems and worked examples explore applications not just within physics but also to engineering, chemistry, biology, geology, atmospheric science, astrophysics, cosmology, and everyday life.

APA, Harvard, Vancouver, ISO, and other styles

36

Shapiro, Stewart, and Geoffrey Hellman, eds. The History of Continua. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198809647.001.0001.

Full text

Abstract:

Mathematical and philosophical thought about continuity has changed considerably over the ages. Aristotle insisted that continuous substances are not composed of points, and that they can only be divided into parts potentially; a continuum is a unified whole. The most dominant account today, traced to Cantor and Dedekind, is in stark contrast with this, taking a continuum to be composed of infinitely many points. The opening chapters cover the ancient and medieval worlds: the pre-Socratics, Plato, Aristotle, Alexander, and a recently discovered manuscript by Bradwardine. In the early modern period, mathematicians developed the calculus the rise of infinitesimal techniques, thus transforming the notion of continuity. The main figures treated here include Galileo, Cavalieri, Leibniz, and Kant. In the early party of the nineteenth century, Bolzano was one of the first important mathematicians and philosophers to insist that continua are composed of points, and he made a heroic attempt to come to grips with the underlying issues concerning the infinite. The two figures most responsible for the contemporary hegemony concerning continuity are Cantor and Dedekind. Each is treated, along with precursors and influences in both mathematics and philosophy. The next chapters provide analyses of figures like du Bois-Reymond, Weyl, Brouwer, Peirce, and Whitehead. The final four chapters each focus on a more or less contemporary take on continuity that is outside the Dedekind–Cantor hegemony: a predicative approach, accounts that do not take continua to be composed of points, constructive approaches, and non-Archimedean accounts that make essential use of infinitesimals.

APA, Harvard, Vancouver, ISO, and other styles

37

Belohlavek, Radim, Joseph W. Dauben, and George J. Klir. Fuzzy Logic and Mathematics. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190200015.001.0001.

Full text

Abstract:

The term “fuzzy logic” (FL) is a generic one, which stands for a broad variety of logical systems. Their common ground is the rejection of the most fundamental principle of classical logic—the principle of bivalence—according to which each declarative sentence has exactly two possible truth values—true and false. Each logical system subsumed under FL allows for additional, intermediary truth values, which are interpreted as degrees of truth. These systems are distinguished from one another by the set of truth degrees employed, its algebraic structure, truth functions chosen for logical connectives, and other properties. The book examines from the historical perspective two areas of research on fuzzy logic known as fuzzy logic in the narrow sense (FLN) and fuzzy logic in the broad sense (FLB), which have distinct research agendas. The agenda of FLN is the development of propositional, predicate, and other fuzzy logic calculi. The agenda of FLB is to emulate commonsense human reasoning in natural language and other unique capabilities of human beings. In addition to FL, the book also examines mathematics based on FL. One chapter in the book is devoted to overviewing successful applications of FL and the associated mathematics in various areas of human affairs. The principal aim of the book is to assess the significance of FL and especially its significance for mathematics. For this purpose, the notions of paradigms and paradigm shifts in science, mathematics, and other areas are introduced and employed as useful metaphors.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!