Holdings: Logique et langage :: THWS Bibkatalog

Logique et langage: déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique]

Saved in:

Bibliographic Details
Main Authors:	Desclés, Jean-Pierre (Author), Djioua, Brahim (Author), Le Priol, Florence (Author)
Format:	Book
Language:	French
Published:	Paris Hermann 2010
Subjects:	Logik Sprache
Online Access:	Inhaltsverzeichnis
Item Description:	Includes bibliographical references.
Physical Description:	208 S. Ill. 22 cm. CD-ROM
ISBN:	9782705669256

Staff View

MARC


LEADER	00000nam a2200000zc 4500
001	BV036526028
003	DE-604
005	20101004
007	t
008	100628s2010 fr a\|\|\| \|\|\|\| 00\|\|\| fre d
020			\|a 9782705669256 \|c (pbk.) : 26,50 EUR \|9 978-2-7056-6925-6
035			\|a (OCoLC)705629182
035			\|a (DE-599)BVBBV036526028
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a fre
044			\|a fr \|c FR
049			\|a DE-29
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Desclés, Jean-Pierre \|e Verfasser \|4 aut
245	1	0	\|a Logique et langage \|b déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique] \|c Jean-Pierre Desclés ; Brahim Djioua ; Florence Le Priol
264		1	\|a Paris \|b Hermann \|c 2010
300			\|a 208 S. \|b Ill. \|c 22 cm. \|e CD-ROM
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Includes bibliographical references.
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Sprache \|0 (DE-588)4056449-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0	1	\|a Sprache \|0 (DE-588)4056449-6 \|D s
689	0		\|5 DE-604
700	1		\|a Djioua, Brahim \|e Verfasser \|4 aut
700	1		\|a Le Priol, Florence \|e Verfasser \|4 aut
856	4	2	\|m Digitalisierung UB Erlangen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020447931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-020447931

Record in the Search Index

_version_	1804143100792143872
adam_text	TABLE DES MATIERES CHAPITRE 1 INTRODUCTION .........................................*............ .....19 1.1 COMMENT DEFMIR LA LOGIQUE ? 23 1.2 QUELQUES POINTS DE VUE SUR LA LOGIQUE 24 1.3 QUELQUES REPERES HISTORIQUES 25 1.4 LA METHODE DE DEDUCTION NATURELLE 32 1.5 TABLE DE VERITE ET CONNECTEURS LOGIQUES .38 CHAPITRE 2 CALCUL DES PROPOSITIONS ....................................................*... 43 2.1 INTRODUCTION .., 43 2.2 CONJONCTION (ELIMINATION ET INTRODUCTION) ; DISJONCTION (INTRODUCTION) ..47 2.3 MODUS PONENS (ELIMINATION DU CONDITIONNEL) 51 2.4 DISJONCTION (INTRODUCTION), CONDITIONNELLE (INTRODUCTION) 56 2.5 CONDITIONNELLE (OU IMPLICATION) MATERIELLE 60 2.6 THEOREME LOGIQUE ET DEDUCTION LOGIQUE 65 2.7 EQUIVALENCE (OU BI-CONDITIONNELLE) 78 2.8 FORMULAIRE DE LA LOGIQUE POSITIVE 76 2.9 NEGATION MINIMALE 77 2.10 NEGATIONS INTUITIONNISTE ET CLASSIQUE 84 2.11 DIFFERENTES LOGIQUES PROPOSITIONNELLES 91 2.12 EXEMPLES DE THEOREMES ET DE DEDUCTIONS 98 2.13 ANALYSE LOGIQUE DE QUELQUES ARGUMENT PHILOSOPHIQUES 107 2.14 LE RAISONNEMENT PAR I ABSURDE 117 CHAPITRE 3 CALCUL DES PREDICATS ............................................................ 119 3.1 INTRODUCTION 119 3.2 LA QUANTIFICATION 122 3.3 REGLES D INTRODUCTION ET D ELIRNINATION 152 3.4 QUELQUES EXEMPLES DE DEDUCTION 170 3.5 FORMULAIRE 172 3.6 CARRE LOGIQUE 178 3.7 EXERCICES (SYLLOGISMES) 183 3.8 QUELQUES RESULTATS REMARQUABLES 185 3.9 RELATIONS 187 PRESENTATION DU CD-ROM .................................................................... 191 BIBLIOGRAPHIE .......................................................................*... .................. 207 INDEX .............................................................................. ................................. 211
any_adam_object	1
author	Desclés, Jean-Pierre Djioua, Brahim Le Priol, Florence
author_facet	Desclés, Jean-Pierre Djioua, Brahim Le Priol, Florence
author_role	aut aut aut
author_sort	Desclés, Jean-Pierre
author_variant	j p d jpd b d bd p f l pf pfl
building	Verbundindex
bvnumber	BV036526028
classification_rvk	CC 2500
ctrlnum	(OCoLC)705629182 (DE-599)BVBBV036526028
discipline	Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01597nam a2200397zc 4500</leader><controlfield tag="001">BV036526028</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101004 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100628s2010 fr a\|\|\| \|\|\|\| 00\|\|\| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9782705669256</subfield><subfield code="c">(pbk.) : 26,50 EUR</subfield><subfield code="9">978-2-7056-6925-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705629182</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036526028</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">fr</subfield><subfield code="c">FR</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Desclés, Jean-Pierre</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logique et langage</subfield><subfield code="b">déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique]</subfield><subfield code="c">Jean-Pierre Desclés ; Brahim Djioua ; Florence Le Priol</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Hermann</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">208 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">22 cm.</subfield><subfield code="e">CD-ROM</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Djioua, Brahim</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Le Priol, Florence</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020447931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020447931</subfield></datafield></record></collection>
id	DE-604.BV036526028
illustrated	Illustrated
indexdate	2024-07-09T22:42:18Z
institution	BVB
isbn	9782705669256
language	French
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020447931
oclc_num	705629182
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	208 S. Ill. 22 cm. CD-ROM
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Hermann
record_format	marc
spelling	Desclés, Jean-Pierre Verfasser aut Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique] Jean-Pierre Desclés ; Brahim Djioua ; Florence Le Priol Paris Hermann 2010 208 S. Ill. 22 cm. CD-ROM txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references. Logik (DE-588)4036202-4 gnd rswk-swf Sprache (DE-588)4056449-6 gnd rswk-swf Logik (DE-588)4036202-4 s Sprache (DE-588)4056449-6 s DE-604 Djioua, Brahim Verfasser aut Le Priol, Florence Verfasser aut Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020447931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Desclés, Jean-Pierre Djioua, Brahim Le Priol, Florence Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique] Logik (DE-588)4036202-4 gnd Sprache (DE-588)4056449-6 gnd
subject_GND	(DE-588)4036202-4 (DE-588)4056449-6
title	Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique]
title_auth	Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique]
title_exact_search	Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique]
title_full	Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique] Jean-Pierre Desclés ; Brahim Djioua ; Florence Le Priol
title_fullStr	Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique] Jean-Pierre Desclés ; Brahim Djioua ; Florence Le Priol
title_full_unstemmed	Logique et langage déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique] Jean-Pierre Desclés ; Brahim Djioua ; Florence Le Priol
title_short	Logique et langage
title_sort	logique et langage deduction naturelle avec exercices interactifs et animes logiciel logic cours d initiation a la logique
title_sub	déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique]
topic	Logik (DE-588)4036202-4 gnd Sprache (DE-588)4056449-6 gnd
topic_facet	Logik Sprache
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020447931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT desclesjeanpierre logiqueetlangagedeductionnaturelleavecexercicesinteractifsetanimeslogiciellogiccoursdinitiationalalogique AT djiouabrahim logiqueetlangagedeductionnaturelleavecexercicesinteractifsetanimeslogiciellogiccoursdinitiationalalogique AT lepriolflorence logiqueetlangagedeductionnaturelleavecexercicesinteractifsetanimeslogiciellogiccoursdinitiationalalogique

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items