Logique et langage: déduction naturelle ; avec exercices interactifs et animés (logiciel LOGIC) ; [cours d'initiation à La Logique]
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Paris
Hermann
2010
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references. |
| Beschreibung: | 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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020447931 | ||
Datensatz im Suchindex
| _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 |