Subjects:

View this video online

View this video online

Subjects: “…Predicate (Logic) History Congresses.…”

Subjects: “…Predicate (Logic)…”
Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Subjects:

Subjects:

Subjects:

Subjects:

Subjects:

Subjects: “…Predicate (Logic) http://id.loc.gov/authorities/subjects/sh85106250…”

Table of Contents: “…Logically specifying repairs -- 4.1 Specifying repairs with logic programs -- 4.1.1 Disjunctive datalog with stable model semantics -- 4.1.2 Repair programs -- 4.1.3 Magic sets for repair programs -- 4.1.4 Logic programs and referential ICs -- 4.1.5 Null-based tuple insertions -- 4.2 Repairs in annotated predicate logic -- 4.3 Second-order representations.…”
Connect to this title online

Table of Contents: Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Table of Contents: “…Natural Language as Predicate Logic? --…”
Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Table of Contents: “…Classical propositional logic -- Abstracting and axiomatizing classical propositional logic -- The language of predicate logic -- The semantics of classical predicate logic -- Substitutions and equivalences -- Equality -- Examples of formalization -- Functions -- The abstraction of models -- Axiomatizing classical predicate logic -- The number of objects in the universe of a model -- Formalizing group theory -- Linear orderings -- Second-order classical predicate logic -- The natural numbers -- The integers and rationals -- The real numbers -- One-dimensional geometry -- Two-dimensional Euclidean geometry -- Translations within classical predicate logic -- Classical predicate logic with non-referring names -- The Liar paradox -- On mathematical logic and mathematics -- Appendix: The completeness of classical predicate logic proved by Gödel's Method.…”
Connect to this title online (unlimited users allowed)

Table of Contents: “…The symbol of statement logic -- The metalogic of statement logic -- Review and overview -- 3. Predicate logic. The symbol system of predicate logic -- The metalogic of predicate logic -- Review and overview -- 4. …”
Connect to this title online (unlimited users allowed)

Table of Contents: “…Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods -- Sets, Relations and Functions -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- Z Formal Specification Language -- Vienna Development Method -- Irish School of VDM -- Unified Modelling Language -- Dijkstra, Hoare and Parnas -- Automata Theory -- Model Checking -- The Nature of Theorem Proving -- Probability and Statistics -- Industrial Tools for Formal Methods -- Technology Transfer to Industry -- Epilogue.…”
Connect to this title online

Table of Contents: “…Formal logic -- Categorical propositions -- Categorical syllogisms -- Propositional logic -- Natural deduction in propositional logic -- Predicate logic -- pt. 3. Inductive logic -- Analogy and legal and moral reasoning -- Causality and Mill's methods -- Probability -- Statistical reasoning -- Hypothetical/scientific reasoning -- Science and superstition.…”

View this video online

View this video online