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

Mike Nkongolo et al.

ISBN 10: 3668876754 / ISBN 13: 9783668876750

Verlag: GRIN Verlag, 2019

Une expressivité sémantique de la complexité d'alternance logique avec des variables continues | Mike Nkongolo et al. | Taschenbuch | 28 S. | Französisch | 2019 | GRIN Verlag | EAN 9783668876750 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Bestandsnummer des Verkäufers 115456725

Inhaltsangabe:

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.

Über die Autorin bzw. den Autor: 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.

Bibliografische Details

Titel: Une expressivité sémantique de la complexité...
Verlag: GRIN Verlag
Erscheinungsdatum: 2019
Einband: Taschenbuch
Zustand: Neu