University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Langages formels, calculabilité et complexité / Olivier Carton
Titre : Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques Type de document : texte imprimé Auteurs : Olivier Carton, Auteur Editeur : Paris : Vuibert Année de publication : 2008 Importance : 1 vol. (237 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-2077-4 Note générale : Bibliogr. p. 233-234. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Langages formels
Complexité de calcul (informatique)
Fonctions calculablesIndex. décimale : 511.3 Logique mathématique Résumé :
Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. De la théorie des langages formels aux notions de calculabilité et de complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique fondamentale dont il couvre les grands domaines. Les différentes notions sont mises en relation, les notions de base y sont illustrées de nombreux exemples et l'ensemble est enrichi de compléments qui permettront d'aller plus loin. Aucune connaissance préalable n'est requise pour utiliser ce manuel. Il s'adresse aux étudiants en Master d'informatique ou de mathématiques comme à tous ceux qui désirent acquérir de solides bases en informatique fondamentale. De leur côté, les agrégatifs verront qu'une grande part du programme de l'option informatique de l'agrégation de mathématiques est couverte. Ce livre est propice à de nombreux développements pour les leçons à l'oral. Des exercices corrigés permettent en outre une assimilation efficace. " La présentation est exceptionnellement claire et les preuves sont données avec grand soin. Recherche de qualité : les exercices sont accompagnés de solutions qui sont la seule garantie que l'exercice est faisable "Note de contenu :
Table des matières
LANGAGES FORMELS
Langages rationnels
Langages algébriques
CALCULABILITE ET COMPLEXITE
Calculabilité
ComplexitéCôte titre : Fs/3891 Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques [texte imprimé] / Olivier Carton, Auteur . - Paris : Vuibert, 2008 . - 1 vol. (237 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7117-2077-4
Bibliogr. p. 233-234. Index
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Langages formels
Complexité de calcul (informatique)
Fonctions calculablesIndex. décimale : 511.3 Logique mathématique Résumé :
Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. De la théorie des langages formels aux notions de calculabilité et de complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique fondamentale dont il couvre les grands domaines. Les différentes notions sont mises en relation, les notions de base y sont illustrées de nombreux exemples et l'ensemble est enrichi de compléments qui permettront d'aller plus loin. Aucune connaissance préalable n'est requise pour utiliser ce manuel. Il s'adresse aux étudiants en Master d'informatique ou de mathématiques comme à tous ceux qui désirent acquérir de solides bases en informatique fondamentale. De leur côté, les agrégatifs verront qu'une grande part du programme de l'option informatique de l'agrégation de mathématiques est couverte. Ce livre est propice à de nombreux développements pour les leçons à l'oral. Des exercices corrigés permettent en outre une assimilation efficace. " La présentation est exceptionnellement claire et les preuves sont données avec grand soin. Recherche de qualité : les exercices sont accompagnés de solutions qui sont la seule garantie que l'exercice est faisable "Note de contenu :
Table des matières
LANGAGES FORMELS
Langages rationnels
Langages algébriques
CALCULABILITE ET COMPLEXITE
Calculabilité
ComplexitéCôte titre : Fs/3891 Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Fs/3894 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/3893 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/3892 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/3891 Fs/3891-3894 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/6713 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6714 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6715 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6716 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6717 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6718 Fs/6713-6718 livre Bibliothéque des sciences Français Disponible
DisponibleLaTex :Apprentissage, guide et référence / Bernard Desgraupes
Titre : LaTex :Apprentissage, guide et référence Type de document : texte imprimé Auteurs : Bernard Desgraupes Mention d'édition : 2e éd Editeur : Paris : Vuibert Année de publication : 2008 Importance : 1 vol. (761 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-4809-9 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
LaTex(logiciel)Index. décimale : 004 - Informatique Résumé :
LATEX, système permettant la composition et la génération de documents, est basé sur le célèbre noyau TEX de Donald Knuth. Son succès, surtout auprès de la communauté scientifique, est dû à plusieurs facteurs :
la qualité typographique des documents qu'il génère, sa modularité, sa gratuité et sa disponibilité sur quasiment tous les systèmes informatiques (PC, Mac, Linux, etc.). Une première partie expose les bases indispensables pour commencer à travailler avec LATEX. Plusieurs leçons progressives mettent en place les notions élémentaires principes de fonctionnement, structure
des documents, macros, environnements, etc. La deuxième partie constitue le guide à proprement parler et couvre en premier lieu tous les points fondamentaux de la composition avec LATEX : chaîne de production des documents, mise en forme du texte, mise en pages, gestion des polices de caractères, indexation, mathématiques, dessins et graphiques. Mais sont également présentés des thèmes avancés d'un intérêt évident : francisation des documents, multilinguisme, chimie et physique,
personnalisation et création de macros, production de documents au format PDF. Enfin, un chapitre complet est consacré aux très nombreux réglages de LATEX, qui autorisent une adaptation poussée aux besoins de l'utilisateur. Dans le même esprit, la gestion des polices de caractères est particulièrement détaillée : encodages, systèmes de dénomination des polices PostScript, création de polices virtuelles
(au travers d'exemples complets). En annexes sont récapitulées toutes les informations d'usage pratique : unités de mesure, classes de documents, installation, utilitaires associés, ainsi qu'une référence du langage (macros, symboles, archives et distributions, lexique anglais-français, index). Cet ouvrage, par son approche pédagogique et son souci d'exhaustivité, comblera tout utilisateur de LATEX, néophyte ou chevronné, souhaitant réaliser des documents dans les domaines littéraires aussi bien que scientifiques et techniques.Note de contenu :
Sommaire
Apprentissages
Leçons 1, 2 et 3
Résumé des principes de bases
Guide
Principe de fonctionnement
Structuration d'un document
Mise en forme du texte
Structuration des pages
La gestion des polices
Indexation d'un document
Personnaliser LATEX
Multilinguisme
Les mathématiques
Dessins et graphiques
Chimie et physique avec
LATEX
Modifier les réglages de
LATEXCôte titre : Fs/8441 LaTex :Apprentissage, guide et référence [texte imprimé] / Bernard Desgraupes . - 2e éd . - Paris : Vuibert, 2008 . - 1 vol. (761 p.) ; 24 cm.
ISBN : 978-2-7117-4809-9
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
LaTex(logiciel)Index. décimale : 004 - Informatique Résumé :
LATEX, système permettant la composition et la génération de documents, est basé sur le célèbre noyau TEX de Donald Knuth. Son succès, surtout auprès de la communauté scientifique, est dû à plusieurs facteurs :
la qualité typographique des documents qu'il génère, sa modularité, sa gratuité et sa disponibilité sur quasiment tous les systèmes informatiques (PC, Mac, Linux, etc.). Une première partie expose les bases indispensables pour commencer à travailler avec LATEX. Plusieurs leçons progressives mettent en place les notions élémentaires principes de fonctionnement, structure
des documents, macros, environnements, etc. La deuxième partie constitue le guide à proprement parler et couvre en premier lieu tous les points fondamentaux de la composition avec LATEX : chaîne de production des documents, mise en forme du texte, mise en pages, gestion des polices de caractères, indexation, mathématiques, dessins et graphiques. Mais sont également présentés des thèmes avancés d'un intérêt évident : francisation des documents, multilinguisme, chimie et physique,
personnalisation et création de macros, production de documents au format PDF. Enfin, un chapitre complet est consacré aux très nombreux réglages de LATEX, qui autorisent une adaptation poussée aux besoins de l'utilisateur. Dans le même esprit, la gestion des polices de caractères est particulièrement détaillée : encodages, systèmes de dénomination des polices PostScript, création de polices virtuelles
(au travers d'exemples complets). En annexes sont récapitulées toutes les informations d'usage pratique : unités de mesure, classes de documents, installation, utilitaires associés, ainsi qu'une référence du langage (macros, symboles, archives et distributions, lexique anglais-français, index). Cet ouvrage, par son approche pédagogique et son souci d'exhaustivité, comblera tout utilisateur de LATEX, néophyte ou chevronné, souhaitant réaliser des documents dans les domaines littéraires aussi bien que scientifiques et techniques.Note de contenu :
Sommaire
Apprentissages
Leçons 1, 2 et 3
Résumé des principes de bases
Guide
Principe de fonctionnement
Structuration d'un document
Mise en forme du texte
Structuration des pages
La gestion des polices
Indexation d'un document
Personnaliser LATEX
Multilinguisme
Les mathématiques
Dessins et graphiques
Chimie et physique avec
LATEX
Modifier les réglages de
LATEXCôte titre : Fs/8441 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8441 Fs/8441 livre Bibliothéque des sciences Français Disponible
DisponibleLeçons d’algèbre moderne / A Lentin
Titre : Leçons d’algèbre moderne Type de document : texte imprimé Auteurs : A Lentin, Auteur Editeur : Paris : Vuibert Année de publication : 1969 Importance : 1 vol (451 p.) Format : 24 cm Langues : Français (fre) Catégories : Mathématique Mots-clés : Algèbre Index. décimale : 510 - Mathématique Côte titre : Fs/24435 Leçons d’algèbre moderne [texte imprimé] / A Lentin, Auteur . - Paris : Vuibert, 1969 . - 1 vol (451 p.) ; 24 cm.
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Algèbre Index. décimale : 510 - Mathématique Côte titre : Fs/24435 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24435 Fs/24435 livre Bibliothéque des sciences Français Disponible
DisponibleLogique pour l'informatique / Serenella Cerrito
Titre : Logique pour l'informatique : Introduction à la déduction automatique : cours et exercices, licence d'informatique Type de document : texte imprimé Auteurs : Serenella Cerrito ; Delia Kesner Editeur : Paris : Vuibert Année de publication : 2008 Importance : 1 vol. (178 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-2069-9 Note générale : 978-2-7117-2069-9 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langages formels
Manuels d'enseignement supérieur
Logique informatiqueIndex. décimale : 004 - Informatique Résumé :
La 4ème de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent à leur tour le recours à un formalisme rigoureux bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. - Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique."Note de contenu :
Sommaire
Syntaxe de la logique propositionnelle
Sémantique de la logique propositionnelle
Preuves en logique propositionnelle
Syntaxe du calcul des prédicats
Sémantique du calcul des prédicats
preuves pour le calcul des prédicats
Extensions du calcul des prédicats
Solutions pour une sélection d'exercicesCôte titre : Fs/11764-11768,Fs/12552,Fs/13211-13212 Logique pour l'informatique : Introduction à la déduction automatique : cours et exercices, licence d'informatique [texte imprimé] / Serenella Cerrito ; Delia Kesner . - Paris : Vuibert, 2008 . - 1 vol. (178 p.) ; 24 cm.
ISBN : 978-2-7117-2069-9
978-2-7117-2069-9
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langages formels
Manuels d'enseignement supérieur
Logique informatiqueIndex. décimale : 004 - Informatique Résumé :
La 4ème de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent à leur tour le recours à un formalisme rigoureux bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. - Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique."Note de contenu :
Sommaire
Syntaxe de la logique propositionnelle
Sémantique de la logique propositionnelle
Preuves en logique propositionnelle
Syntaxe du calcul des prédicats
Sémantique du calcul des prédicats
preuves pour le calcul des prédicats
Extensions du calcul des prédicats
Solutions pour une sélection d'exercicesCôte titre : Fs/11764-11768,Fs/12552,Fs/13211-13212 Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité Fs/11764 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11765 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11766 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11767 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11768 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/12552 Fs/12552 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13211 Fs/13211-13212 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13212 Fs/13211-13212 livre Bibliothéque des sciences Français Disponible
DisponibleMathématiques, 2e / Danièle Bargues
Titre : Mathématiques, 2e : exercices avec solutions Type de document : texte imprimé Auteurs : Danièle Bargues, Auteur ; André Combes (1905-1987), Auteur Editeur : Paris : Vuibert Année de publication : 1986 Importance : 1 vol (282 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-1376-9 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510 Mathématique Côte titre : Fs/24261 Mathématiques, 2e : exercices avec solutions [texte imprimé] / Danièle Bargues, Auteur ; André Combes (1905-1987), Auteur . - Paris : Vuibert, 1986 . - 1 vol (282 p.) ; 24 cm.
ISBN : 978-2-7117-1376-9
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 510 Mathématique Côte titre : Fs/24261 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24261 Fs/24261 livre Bibliothéque des sciences Français Disponible
DisponibleMathématiques pour l'informatique / Belhaj, Skander
PermalinkMaths / Burg, Pierre
PermalinkMaths / David Caffin
PermalinkPermalinkMaths / Vincent Queffelec
PermalinkNouveau cours de mathématiques, 2. Polynômes et algèbre linéaire / Alfred Doneddu
PermalinkNouveau cours de mathématiques, 3. Espaces euclidiens, espaces hermitiens, géométries / Alfred Doneddu
PermalinkOption informatique MPSI-MP/MP / Nathaniel Carr©
PermalinkPhysique MPSI, PCSI, PTSI / Cavelier.M
PermalinkLa physique quantique et ses applications / Jean-Louis Basdevant
Permalink