Mot-cléCalcul des prédicats

Mot-clé anglais: first-order logic (améliorer cette traduction)

Comprend: first-order logic, First-order logic, first order logic, First-order Logic, First Order Logic, First order logic

Traductions: Prädikatenlogik erster Stufe, Lógica de primer orden, Calcul des prédicats, Teoria del primo ordine, Rachunek predykatów pierwszego rzędu, Lógica de primeira ordem, Логика первого порядка, Логика првог реда, Första ordningens logik

Oeuvres étiquetées

Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)

The Language of First-Order Logic par Jon Barwise (2 fois)
Studiebok til Logiske metoder par Roger Antonsen (1 fois)
Logiske metoder : kunsten å tenke abstrakt og matematisk par Roger Antonsen (1 fois)
Tarski's World: Revised and Expanded (Center for the Study of Language and Information - Lecture Notes) par David Barker-Plummer (1 fois)
Mathematical Logic (The Berkeley Undergraduate Course) par Slaman. Theodore A. (1 fois)
A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II par Paul Teller (1 fois)
Duality and definability in first order logic par Mihály Makkai (1 fois)
Quine (Arguments of the Philosophers) par Peter Hylton (1 fois)
Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic par Jaakko Hintikka (1 fois)
Technical Methods in Philosophy (Focus Series) par John L. Pollock (1 fois)
Logic for Mathematicians par A. G. Hamilton (1 fois)
A Mathematical Introduction to Logic par Herbert B. Enderton (1 fois)
First-Order Logic par Raymond Smullyan (1 fois)
First Order Mathematical Logic (Dover Books on Mathematics) par Angelo Margaris (1 fois)
Metalogic: An Introduction to the Metatheory of Standard First Order Logic par Geoffrey Hunter (1 fois)
Intelligence Artificielle par Stuart J. Russell (1 fois)
Introduction to Mathematical Logic par Elliott Mendelson (1 fois)

Titres Couvertures

Utilise le mot clé

isakhaer (2), jensgram (1), mquickwork (1), TorontoOratorySPN (1), PuddinTame (1), hiroaku (1), mfd101 (1), joshleejosh (1), idiosyncratic (1), peoppenheimer (1), tonreihe (1), FrankJLucatelli (1)

Google Books Ngram Viewer

Données du Books Ngram Viewer

Mot-cléCalcul des prédicats

Mot-clé anglais: first-order logic (améliorer cette traduction)

Oeuvres étiquetées

Utilise le mot clé

Mots clé ajouté recemment

Google Books Ngram Viewer

Mots-clés connexes

Séries associées

Ensembles associés de mots-clés