-
Zusatztext
-
Texte Universitaire de lanné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.
-
-
Autorenportrait
- 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.
Detailansicht
Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
ISBN/EAN: 9783668876750
Umbreit-Nr.: 6820022
Sprache:
Französisch
Umfang: 28 S.
Format in cm: 0.3 x 21 x 14.8
Einband:
kartoniertes Buch
Erschienen am 04.02.2019
Auflage: 1/2019