Une expressivité sémantique de la complexité d'alternance logique avec des variables continues

Broschiertes Buch

Texte Universitaire de l'année 2019 dans le domaine Informatique - Divers, note: Msc, University of the Witwatersrand (University), cours: Symbolic Logics, langue: Français, résumé: Nous montrons que les logiques temporelles de temps de branchement, ainsi que les logiques temporelles a temps alternatif, sont expressif dans la langue avec une seule variable propositionnelle ou avec une offre limite de variables.

Autorenporträt

Andere Kunden interessierten sich auch für

Juan Redmond
Logique dynamique de la fiction. Pour une approche dialogique

34,99 €
Matthieu Fontaine
Logique Dialogique

30,99 €
Jacques Ndjoili
L' optimisation de la gestion des incidents. Rapport de stage

47,95 €
Deepa J
Le traitement des grains de café - Une vue d'ensemble

28,99 €
Vikramsingh Parihar
Un guide complet de Segmentation d'images Avec les codes Matlab

39,99 €
Arthur B. Baggeroer
State Variables and Communication Theory

30,99 €
Jérôme Darmont
Business Intelligence & Big Data

21,99 €

Produktbeschreibung

Produktdetails

Produktdetails
Verlag: GRIN Verlag
1. Auflage
Seitenzahl: 28
Erscheinungstermin: 14. Februar 2019
Französisch
Abmessung: 210mm x 148mm x 3mm
Gewicht: 56g
ISBN-13: 9783668876750
ISBN-10: 3668876754
Artikelnr.: 55236677

Herstellerkennzeichnung

Produktdetails

Verlag: GRIN Verlag
1. Auflage
Seitenzahl: 28
Erscheinungstermin: 14. Februar 2019
Französisch
Abmessung: 210mm x 148mm x 3mm
Gewicht: 56g
ISBN-13: 9783668876750
ISBN-10: 3668876754
Artikelnr.: 55236677

Herstellerkennzeichnung

Autorenporträt

Mike Nkongolo received the BSc (Hons) degree in computer science from the University of the Witwatersrand, Johannesburg, South Africa, in 2016. He is currently working toward the Masters degree in the School of Computer Science and Applied Mathematics, University of the Witwatersrand. His research interests include the theory and applications of Intelligent Systems, Web-based platforms and Machine Learning, Sentiment detection in Web Mining, and Artificial Intelligence-Natural Languages Processing.