Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
Mike , Nkongolo et al.
Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
Mike , Nkongolo et al.
Paperback
|
Frans
€ 17,95
- Vanaf €15,- geen verzendkosten.
- 30 dagen ruiltermijn voor fysieke producten
Omschrijving
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.
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.
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.