Une expressivité sémantique de la complexité d'alternance logique avec des variables continues - Nkongolo et al., Mike
17,95 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
0 °P sammeln
  • 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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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
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.