510.62 : Langages logiques. Langages logico-objectifs

510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique, etc.
510.21 considérations philosophiques générales.
510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux
510.5 Algorithmes. Fonctions calculables
510.51 Théorie des algorithmes: considérations générales
510.56 HAU
510.6 Logique mathématique
510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste.
510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres
510.67 Théorie des Modèles
510.76

Ouvrages de la bibliothèque en indexation 510.62

Programmation. Algorithmes fondamentaux et langage C / Jean-Louis Imbert 

Public ISBD Titre de série : Programmation Titre : Algorithmes fondamentaux et langage C : codages, alternatives, boucles, tableaux, modularités Type de document : texte imprimé Auteurs : Jean-Louis Imbert, Auteur Editeur : Paris : Ellipses Année de publication : 2008 Collection : Technosup Importance : VI, 308 p. Présentation : ill Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-3867-6 Note générale : Ouvrage niveau A (IUT - BTS - 1er cycle) Recouvrant les différents programmes officiels d'IUT et de licences. Langues : Français (fre) Mots-clés : Algorithmes C  (langage  de  programmation) Index. décimale : 510.62 Langages logiques. Langages logico-objectifs Résumé : L'ouvrage apporte aux débutants en programmation, étudiants ou autodidactes, une introduction à l'algorithmique et aux structures de données. Il contient également quelques aspects de génie logiciel et il guide le lecteur dans l'apprentissage du langage C et de la compilation. Son originalité est la définition d'une sémantique opérationnelle claire et simple des différents types d'instructions. Cette sémantique explique la transformation de l'état de la machine induit par chaque instruction. Elle est illustrée par des schémas dits sémantiques qui montrent l'évolution des états de la mémoire au fil des instructions. Tous les algorithmes de base et de nombreux exemples sont illustrés par ces schémas qui permettent de bien comprendre leur fonctionnement. Des exercices corrigés complètent l'exposé pour mieux l'assimiler et permettre au lecteur de se tester. Un second ouvrage du même auteur prolonge la démarche en développant des notions avancées notamment sur les tableaux, le pointeur de langage, la modularité dans les programmes... Note de contenu : Au sommaire : 1. Informatique générale. 2. Notions de codage. 3. Introduction à l'algorithmique. 4. Les alternatives. 5. Boucles et récursivité. 6. Le langage C. 7. Les types composés. 8. Les tableaux. 9. Les tableaux : recherche et complexité. 10. Les tableaux : tris. ISBN 13 : 978-2-7298-3867-6 En ligne : http://books.google.dz/books?id=iIpuOwAACAAJ&hl=fr&source=gbs_ViewAPI&redir_esc= [...] Programmation. Algorithmes fondamentaux et langage C : codages, alternatives, boucles, tableaux, modularités [texte imprimé] / Jean-Louis Imbert, Auteur . - Ellipses, 2008 . - VI, 308 p. : ill ; 26 cm.. - (Technosup) . ISBN : 978-2-7298-3867-6 Ouvrage niveau A (IUT - BTS - 1er cycle) Recouvrant les différents programmes officiels d'IUT et de licences. Langues : Français (fre) Mots-clés : Algorithmes C  (langage  de  programmation) Index. décimale : 510.62 Langages logiques. Langages logico-objectifs Résumé : L'ouvrage apporte aux débutants en programmation, étudiants ou autodidactes, une introduction à l'algorithmique et aux structures de données. Il contient également quelques aspects de génie logiciel et il guide le lecteur dans l'apprentissage du langage C et de la compilation. Son originalité est la définition d'une sémantique opérationnelle claire et simple des différents types d'instructions. Cette sémantique explique la transformation de l'état de la machine induit par chaque instruction. Elle est illustrée par des schémas dits sémantiques qui montrent l'évolution des états de la mémoire au fil des instructions. Tous les algorithmes de base et de nombreux exemples sont illustrés par ces schémas qui permettent de bien comprendre leur fonctionnement. Des exercices corrigés complètent l'exposé pour mieux l'assimiler et permettre au lecteur de se tester. Un second ouvrage du même auteur prolonge la démarche en développant des notions avancées notamment sur les tableaux, le pointeur de langage, la modularité dans les programmes... Note de contenu : Au sommaire : 1. Informatique générale. 2. Notions de codage. 3. Introduction à l'algorithmique. 4. Les alternatives. 5. Boucles et récursivité. 6. Le langage C. 7. Les types composés. 8. Les tableaux. 9. Les tableaux : recherche et complexité. 10. Les tableaux : tris. ISBN 13 : 978-2-7298-3867-6 En ligne : http://books.google.dz/books?id=iIpuOwAACAAJ&hl=fr&source=gbs_ViewAPI&redir_esc= [...]

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
053425	510.62 IMB	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053424	510.62 IMB	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053423	510.62 IMB	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053422	510.62 IMB	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053421	510.62 IMB	Papier	Bibliothèque Centrale	Mathématiques	Disponible	Consultation sur place