Langages, machines et calcul classique

Langages, machines et calcul classique (M. Augusto Luis)

Titre original :

Languages, Machines, and Classical Computation

Contenu du livre :

Languages, machines, and classical computation est un nouveau livre de cours de premier cycle sur les sujets conjoints des langages formels et des automates et de la calculabilité et de la complexité. Par nouveau, nous entendons plus que sa publication récente :

⬤ Il est (plus) clairement structuré autour de la hiérarchie de Chomsky, qui lui sert de colonne vertébrale.

⬤ Il présente une approche algorithmique globale, avec de nombreux algorithmes centraux décrits de manière détaillée et claire, étape par étape.

⬤ Aucun langage ou logiciel de programmation n'y joue un rôle quelconque, ce qui garantit la généralité (mathématique) des divers contenus.

⬤ Il s'agit dans une certaine mesure d'un retour aux approches originales des manuels de la fin des années 1970 / début des années 1980, aujourd'hui souvent considérées - à tort - comme trop difficiles pour un public d'étudiants de premier cycle.

Et,.

⬤ Enfin, il prend en considération le fait, largement ou totalement ignoré par les autres livres de cours sur les sujets susmentionnés, que parler de calcul aujourd'hui s'avère être une affaire extrêmement équivoque, étant donné que de nombreuses autres formes de calcul se sont développées en dehors de ce que nous pouvons appeler le paradigme Turing-von Neumann.

Une vaste sélection d'exercices est une composante essentielle de ce livre de cours, avec des exercices allant de tâches simples à des projets de recherche et à des explorations de compétences créatives.

Tous les sujets mathématiques nécessaires à une bonne compréhension des contenus abordés sont présentés dans un chapitre introductif, ce qui en fait un ouvrage de cours largement autonome.

Cette deuxième édition corrige les addenda et les errata, comporte des figures nouvelles et améliorées, un algorithme supplémentaire et des exercices remaniés.

Autres informations sur le livre :

ISBN :9781848903005
Auteur :
Éditeur :
Langue :anglais
Reliure :Broché

Achat:

Actuellement disponible, en stock.

Je l'achète!

Autres livres de l'auteur :

Logiques multivaluées : une introduction mathématique et informatique. Deuxième édition -...
Les logiques à plusieurs valeurs sont celles qui...
Logiques multivaluées : une introduction mathématique et informatique. Deuxième édition - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Langages, machines et calcul classique - Languages, Machines, and Classical Computation
Languages, machines, and classical computation est un...
Langages, machines et calcul classique - Languages, Machines, and Classical Computation
Logique computationnelle : Volume 1 : Classical Deductive Computing with Classical Logic. Deuxième...
Bien qu'un certain nombre d'applications...
Logique computationnelle : Volume 1 : Classical Deductive Computing with Classical Logic. Deuxième édition - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Conséquences logiques : Théorie et applications : An Introduction. 2e édition - Logical...
La théorie des conséquences logiques est au cœur de...
Conséquences logiques : Théorie et applications : An Introduction. 2e édition - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Logique formelle : Problèmes et preuves classiques - Formal Logic: Classical Problems and...
La logique consiste - sans aucun doute - à...
Logique formelle : Problèmes et preuves classiques - Formal Logic: Classical Problems and Proofs

Les œuvres de l'auteur ont été publiées par les éditeurs suivants :

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)