Concept information
| URI | http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11965690r |
| prefLabel |
| x-notation |
FRBNF119656902 |
| fr |
Logique symbolique et mathématique |
|
| altLabel |
| fr |
Logique formelle |
| fr |
Logique mathématique |
| fr |
Logique moderne symbolique |
| fr |
Logistique (logique) |
|
| editorialNote |
| fr |
Source : Logique mathématique / R. Cori, D. Lascar, 1993. - Lexique logique / L. Vax, 1982. - Dict. de logique / A. Bannour, 1995. - Encycl. Univers, 1989 |
|
| note |
| fr |
Domaine : 000 |
| fr |
Domaine : 100 |
| fr |
Domaine : 510 |
|
| inScheme |
|
| broader |
|
| narrower |
| Calcul des prédicats |
| Modèles, Théorie des |
| Automates mathématiques, Théorie des |
| Catégories (mathématiques) |
| Gödel, Théorème de |
| Mathématiques intuitionnistes |
| Récursivité, Théorie de la |
| Sémantique (philosophie) |
| Mathématiques constructives |
| Ensembles, Théorie axiomatique des |
| Logique combinatoire |
| Définissabilité, Théorie de la (logique mathématique) |
| Calcul propositionnel |
| Axiomatique |
| Lambda-calcul |
| Logique algébrique |
| Fonctions récursives |
| Machines logiques |
| Commutation, Théorie de la |
| Boole, Algèbre de |
| Décidabilité (logique mathématique) |
| Logique de seuil |
| Logique mathématique non classique |
| Logiciels -- Exactitude |
| Logique floue |
| Logique du premier ordre |
| Programmation logique |
| Preuve, Théorie de la |
| Formalisme (mathématiques) |
| Relations d'ordre total |
| Complétude, Théorème de |
| Logique matricielle |
| Types, Théorie des |
| Logicisme |
| Logique informatique |
| Arithmétique faible |
| Logique quantique |
| Pi-calcul |
| Modèles non-standards (mathématiques) |
| Logique spatiale |
|
| related |
|
Mappings (simple SKOS statements)
Mappings (OAEI cells)
No mappings found from other concepts to this concept
Downloading
or as a URL:
servicehost/vocreptags/RestVocabularyRepository/concept?format=rdf&uri=http%3A%2F%2Fstitch.cs.vu.nl%2Fvocabularies%2Frameau%2Fark%3A%2F12148%2Fcb11965690r