Problèmes d'informatique fondamentale

Voyages au pays de l'informatique fondamentale au gré de problèmes de concours
1. Auflage 2001
ISBN: 978-3-540-42341-6
Verlag: Springer

Buch, Französisch, Band 13, 168 Seiten, Format (B × H): 140 mm x 216 mm, Gewicht: 520 g

Reihe: SCOPOS

Ce recueil de problèmes corrigés vise à proposer des voyages initiatiques à quelques domaines de la science informatique. Ces problèmes ont tous été posés au concours d'entrée en troisième année de l'ENS de Cachan, section informatique, ou à feu l'option mathématiques de l'informatique de l'Agrégation de mathématiques. Ils ont été conçus par des enseignants chercheurs en informatique du CNRS ou de l'Université, et ont pour but principal de tester la capacité des étudiants à comprendre des concepts nouveaux pour eux et à raisonner sur ces concepts. Il s'agit par là de tenter de les mettre dans la situation d'un chercheur et d'évaleur ainsi leur aptitude.

Zielgruppe

Lower undergraduate

Autoren/Hrsg.

Badouel, Eric

Boucheron, Stephane

Dicky, Anne

Petit, Antoine

Santha, Miklos

Weil, Pascal

Zeitoun, Marc

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Diskrete Mathematik, Kombinatorik
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik Mathematik Operations Research Graphentheorie
• Mathematik | Informatik Mathematik Algebra Elementare Algebra
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen

Inhaltsverzeichnis

I. Sujets: Petites questions d'algorithmique.- Énumération et réseaux.- Traces finies.- Recherche de motifs.- Bisimulation.- Jeux.- Semi-groupes et logique temporelle.- Automates et invariants. II. Corrigés: Petites questions d'algorithmique.- Énumération et réseaux.- Traces finies.- Recherche de motifs.- Bisimulation.- Jeux.- Semi-groupes et logique temporelle.- Automates et invariants.