Verfügbarkeit: Logique et langage | Technische Universität München

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

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Desclés, Jean-Pierre (VerfasserIn), Djioua, Brahim (VerfasserIn), Le Priol, Florence (VerfasserIn)
Format:	Buch
Sprache:	Französisch
Veröffentlicht:	Paris Hermann 2010
Schlagwörter:	Logik Sprache
Links:	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
Beschreibung:	Includes bibliographical references.
Umfang:	208 S. Ill. 22 cm. CD-ROM
ISBN:	9782705669256

Internformat

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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020447931

Datensatz im Suchindex

_version_	1819248795093827584
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>01598nam 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020447931</subfield></datafield></record></collection>
id	DE-604.BV036526028
illustrated	Illustrated
indexdate	2024-12-20T14:36:22Z
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
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

Verfügbarkeit

‌

Inhaltsverzeichnis