This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
Payez facilement par carte, Klarna, Apple Pay ou Google Pay. Pas satisfait ? Vous avez toujours une garantie de remboursement de 14 jours. En savoir plus dans nos conditions. Si vous avez des questions, envoyez-nous un e-mail à hello@memmo.org.
Memmo facilite tes études, où que tu sois dans le monde. On rassemble tes manuels de cours et des outils d'étude intelligents au même endroit : résumés, quiz, podcasts et flashcards. Et il y a Ted, ton compagnon d'étude qui répond à toutes tes questions. Plus de 50 000 étudiants étudient déjà ici – conçu pour t'aider à apprendre plus vite et à moins stresser.
Tu pourrais aussi aimer
Acheter le livre0