Eléments de logique formelle / Gérard Chazal (DL 1996, cop. 1996)

Public ISBD Titre : Eléments de logique formelle Type de document : texte imprime Auteurs : Gérard Chazal, Auteur Editeur : Paris : Hermès Année de publication : DL 1996, cop. 1996 Importance : 221 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-548-0 Note générale : Bibliogr. p. [223]-224 Langues : Français Mots-clés : Calcul des prédicats  Calcul des propositions  Logique mathématique  Logique Index. décimale : 160 Résumé : Gérard Chazal, professeur à l'Université de Bourgogne, propose ici une approche de la logique comme description du fonctionnement valide de notre esprit. La logique, discipline normative qui nous révèle les arcanes de notre entendement est par là même au coeur de la recherche philosophique. Elle est donc bien plus aujourd'hui qu'une technique très profondément mathématisée. Cet ouvrage qui s'adresse tant à l'étudiant qu'à l'honnête homme, présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique. Permalink : ./index.php?lvl=notice_display&id=11573 Eléments de logique formelle [texte imprime] / Gérard Chazal, Auteur . - Paris : Hermès, DL 1996, cop. 1996 . - 221 p. : ill. ; 24 cm. ISBN : 978-2-86601-548-0 Bibliogr. p. [223]-224 Langues : Français Mots-clés : Calcul des prédicats  Calcul des propositions  Logique mathématique  Logique Index. décimale : 160 Résumé : Gérard Chazal, professeur à l'Université de Bourgogne, propose ici une approche de la logique comme description du fonctionnement valide de notre esprit. La logique, discipline normative qui nous révèle les arcanes de notre entendement est par là même au coeur de la recherche philosophique. Elle est donc bien plus aujourd'hui qu'une technique très profondément mathématisée. Cet ouvrage qui s'adresse tant à l'étudiant qu'à l'honnête homme, présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique. Permalink : ./index.php?lvl=notice_display&id=11573

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
IA429/1	IA429	Livre	Magasin d'Ouvrages / FGE	Informatique et automatique	Consultation sur place Exclu du prêt

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

Philosophie du langage et informatique / Gérard Chazal (impr. 1996, cop. 1996)

Public ISBD Titre : Philosophie du langage et informatique : [colloque, 27-29 juin 1995, Dijon] Type de document : texte imprime Auteurs : Gérard Chazal, Directeur de publication, rédacteur en chef ; Terrasse, Marie-Noëlle, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Année de publication : impr. 1996, cop. 1996 Importance : 221 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-86601-530-5 Note générale : Cet ouvrage présente les communications du colloque "Philosophie du langage et informatique" qui s'est tenu les 27, 28 et 29 juin 1995 à Dijon Notes bibliogr. Langues : Français Mots-clés : Philosophie du langage  Langage et logique  Linguistique:informatique  Langages formels  Sciences de l'information Résumé : Le langage n'a cessé au cours de l'histoire de la pensée de soulever l'interrogation. Le développement des langages formels, les travaux des logiciens, depuis Frege et Turing, ouvraient la voie à l'automatisation du discours et à l'élaboration d'artefacts linguistiques. En même temps, les linguistes révélaient par leurs recherches les structures immanentes aux langues naturelles. Au croisement des théories formelles et des apports de la linguistique, l'informatique dote une machine de tous les apparats du langage. Il s'agit bien sûr de doter l'automate d'un langage qui lui soit propre mais auquel l'utilisateur humain puisse participer Permalink : ./index.php?lvl=notice_display&id=13734 Philosophie du langage et informatique : [colloque, 27-29 juin 1995, Dijon] [texte imprime] / Gérard Chazal, Directeur de publication, rédacteur en chef ; Terrasse, Marie-Noëlle, Directeur de publication, rédacteur en chef . - Paris : Hermès, impr. 1996, cop. 1996 . - 221 p. : ill. ; 24 cm. ISBN : 978-2-86601-530-5 Cet ouvrage présente les communications du colloque "Philosophie du langage et informatique" qui s'est tenu les 27, 28 et 29 juin 1995 à Dijon Notes bibliogr. Langues : Français Mots-clés : Philosophie du langage  Langage et logique  Linguistique:informatique  Langages formels  Sciences de l'information Résumé : Le langage n'a cessé au cours de l'histoire de la pensée de soulever l'interrogation. Le développement des langages formels, les travaux des logiciens, depuis Frege et Turing, ouvraient la voie à l'automatisation du discours et à l'élaboration d'artefacts linguistiques. En même temps, les linguistes révélaient par leurs recherches les structures immanentes aux langues naturelles. Au croisement des théories formelles et des apports de la linguistique, l'informatique dote une machine de tous les apparats du langage. Il s'agit bien sûr de doter l'automate d'un langage qui lui soit propre mais auquel l'utilisateur humain puisse participer Permalink : ./index.php?lvl=notice_display&id=13734

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
L114/1	L114	Livre	Magasin d'Ouvrages / INF	Langage	Consultation sur place Exclu du prêt

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1