الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
13 résultat(s) recherche sur le mot-clé 'Logique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique et automates / Patrick Bellot
Titre : Logique et automates : option informatique en MPSI, MP et MP, premier et deuxième cycles universitaires, écoles d'ingénieurs Type de document : texte imprimé Auteurs : Patrick Bellot (1968-....), Auteur ; Jacques Sakarovitch, Auteur Editeur : Paris : Ellipses Année de publication : 1998 Collection : Manuel d'informatique. Importance : 223 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-6894-9 Note générale : Index Langues : Français (fre) Mots-clés : Logique automates Index. décimale : 006 Résumé : Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires. Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition. Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Ponts (en 97 et 98) ainsi que leurs corrigés. Logique et automates : option informatique en MPSI, MP et MP, premier et deuxième cycles universitaires, écoles d'ingénieurs [texte imprimé] / Patrick Bellot (1968-....), Auteur ; Jacques Sakarovitch, Auteur . - Paris : Ellipses, 1998 . - 223 p. : ill. ; 26 cm. - (Manuel d'informatique.) .
ISBN : 978-2-7298-6894-9
Index
Langues : Français (fre)
Mots-clés : Logique automates Index. décimale : 006 Résumé : Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires. Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition. Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Ponts (en 97 et 98) ainsi que leurs corrigés. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei02088 006-02.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02089 006-02.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02090 006-02.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Logique élémentaire / Jacques Zahnd
Titre : Logique élémentaire : cours de base pour informaticiens / Type de document : texte imprimé Auteurs : Jacques Zahnd Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 1998 Importance : 430 p. Format : 24 x 16 cm. Accompagnement : formulaire de logique ISBN/ISSN/EAN : 978-2-88074-360-4 Langues : Français (fre) Mots-clés : Logique élémentaire cours base informaticiens Index. décimale : 004 Résumé : Logique élémentaire : cours de base pour informaticiens / [texte imprimé] / Jacques Zahnd . - Lausanne : Presses polytechniques et universitaires romandes, 1998 . - 430 p. ; 24 x 16 cm. + formulaire de logique.
ISBN : 978-2-88074-360-4
Langues : Français (fre)
Mots-clés : Logique élémentaire cours base informaticiens Index. décimale : 004 Résumé : Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité fsei00404 004-161.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00405 004-161.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00411 004-161.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00410 004-161.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00409 004-161.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00408 004-161.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00412 004-161.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01491 004-161.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Logique(s), langages formels et complexité pour l'informatique / Narendra Jussien
Titre : Logique(s), langages formels et complexité pour l'informatique Type de document : texte imprimé Auteurs : Narendra Jussien, ; Yvon L'Hospitalier, Editeur : Paris : Hermes Sciences Publ. Année de publication : cop. 2006. Autre Editeur : Lavoisier Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691. Importance : 313 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-1395-1 Langues : Français (fre) Mots-clés : informatique Logique langages formels complexité Index. décimale : 004 Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Logique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien, ; Yvon L'Hospitalier, . - Paris : Hermes Sciences Publ. : [S.l.] : Lavoisier, cop. 2006. . - 313 p. ; 24 cm.. - (Collection Informatique (Paris. 1992), ISSN 1242-7691.) .
ISBN : 978-2-7462-1395-1
Langues : Français (fre)
Mots-clés : informatique Logique langages formels complexité Index. décimale : 004 Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei00600 004-138.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00601 004-138.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Sorti jusqu'au 31/05/2023 fsei00602 004-138.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Logique temporelle / Éric Audureau
Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 234 p. Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 224-232. Index Langues : Français (fre) Mots-clés : Logique temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc. Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur . - Paris : Masson, 1990 . - 234 p. : ill., couv. ill. ; 25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-81967-4
Bibliogr. p. 224-232. Index
Langues : Français (fre)
Mots-clés : Logique temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02184 006-37.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Logique transitionnelle microprogrammée / Jean Florine
Titre : Logique transitionnelle microprogrammée : conception des automates industriels Type de document : texte imprimé Auteurs : Jean Florine, Auteur Editeur : Paris : InterÉditions Année de publication : 1983 Importance : 677 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7296-0041-9 Note générale : Bibliogr. p. 668-673. Index Langues : Français (fre) Mots-clés : Logique transitionnelle microprogrammée Index. décimale : 005 Logique transitionnelle microprogrammée : conception des automates industriels [texte imprimé] / Jean Florine, Auteur . - Paris : InterÉditions, 1983 . - 677 p. : ill. ; 24 cm.
ISBN : 978-2-7296-0041-9
Bibliogr. p. 668-673. Index
Langues : Français (fre)
Mots-clés : Logique transitionnelle microprogrammée Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01676 005-402.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Langage PASCAL et logique du premier ordre, 1. Langage PASCAL et logique du premier ordre / Maurice Margenstern
PermalinkLangage PASCAL et logique du premier ordre, 2. Langage PASCAL et logique du premier ordre / Maurice Margenstern
PermalinkSystèmes formels / Claude Benzaken
PermalinkProgrammation logique par contraintes / François Fages
PermalinkCours d'algèbre / Roger Godement
Permalink