L' algèbre de la logique:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | French |
| Published: |
Hildesheim
Olms
1965
|
| Edition: | Reprograf. Nachdr. d. Ausg. Paris 1914 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 100 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007090816 | ||
| 003 | DE-604 | ||
| 005 | 20090622 | ||
| 007 | t | ||
| 008 | 930421s1965 |||| 00||| fre d | ||
| 035 | |a (OCoLC)13001175 | ||
| 035 | |a (DE-599)BVBBV007090816 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-355 |a DE-19 |a DE-210 | ||
| 050 | 0 | |a BC135 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Couturat, Louis |d 1868-1914 |e Verfasser |0 (DE-588)116705639 |4 aut | |
| 245 | 1 | 0 | |a L' algèbre de la logique |c Louis Couturat |
| 250 | |a Reprograf. Nachdr. d. Ausg. Paris 1914 | ||
| 264 | 1 | |a Hildesheim |b Olms |c 1965 | |
| 300 | |a 100 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004510839&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004510839 | ||
Record in the Search Index
| _version_ | 1804121272759615488 |
|---|---|
| adam_text | Titel: L algèbre de la logique
Autor: Couturat, Louis
Jahr: 1965
TABLE DES MATIERES.
1. Introduction 3
2. Les deux interprätations du Galcuf logiquo 3
3. Relation d inclusion 4
4. Definition de l egalite ö
5. Principe d identite , 8
6. Principe du syllogisme . 8
7. Definition de la multiplication et de 1 addiUon q
8. Prmcipes de simplification et de compositiim u
9. Lois de tautologie et d absorption. ia
10. Theoremes de multiplication et d additioii 14
11. Premiere formule de transformation des inclusions en ^galites. i5
12. Loi distributive ,.., ± , 16
13. Definition de o et de i iS
14. Loi de dualite 21
15- Definition de la niSgaiiuu 22
16. Principes de contradiction et du milieu exclti ,... 24
17. Loi de double negation aä
18. Seconde formule de tränsformation des inclusions en 6galit 5s.. 26
19. Loi de contraposition 37
20. Postulat d extsteuce 28
21. Developpements de o et de 1 28
22. Proprietes des constituants 3o
23. Fonctions logiques 3o
24. Loi du döveloppement 3i
25. Formules de De Morgan 33
26. Sommes disjointes 35
27. Propriei 5s des fonctions döveloppees 36
28. Bornes d une fonetion.. 38
29. Formule de Poretsky 4
30. Theoreme de Schröder 41
31. Resultante de l eliminaiion ¦ 4*
32. Gas d indötermination 44
33. Sommes et produits de fonetious... 4^
34. Expression d une inclusion au inoyen d mie indeterminee... 48
35^ Expression d uae double inclusion au moyen d une indeter¬
minee 49
100 TABLE DES MATIÈRES.
Page».
36. Solution de l équation à une inconnue au moyen d une indé¬
terminée 52
37. Élimination dans les équations à plusieurs inconnues., 5j6
38. Théorème sur les valeurs d une fonction 58
39. Conditions d impossibilité et d indétermination 59
40. Résolution des équations à plusieurs inconnues -.... 60
41. Problème de Boole 62
42. Méthode de Porelsky 64
43- Loi des formes 65
44. Loi des conséquences 66
45. Loi des causes 69
46* Application de la loi des formes aux conséquences et aux
, causes ,.,...* 73
47. Exemple : Problème de Venn 73
48. Scbèmes géométriques de Venn , * 76
49. Machine logique de Jevons 77
60. Tabîeâu des conséquences 78
51. Tableau des causes « 79
52. Nombre des assertions possibles touchant n termes 82
53. Propositions particulières., , 82
54. Solution de l inéquation à une inconnue.. , 83
55. Système d une équation et-d une inéquation 85
56. Formules spéciales au Calcul des propositions 86
57. Équivalence d une implication et d une alternative 88
58. Loi d importation et d exportation... .......,.,...,.„ ., 90
59. Réduction des inégalités à des égalités 93
60. Conclusion.. 94
Bïbuûûiuphik ....... 96
ï8te des signes et abréviations-............................... f)8
|
| any_adam_object | 1 |
| author | Couturat, Louis 1868-1914 |
| author_GND | (DE-588)116705639 |
| author_facet | Couturat, Louis 1868-1914 |
| author_role | aut |
| author_sort | Couturat, Louis 1868-1914 |
| author_variant | l c lc |
| building | Verbundindex |
| bvnumber | BV007090816 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 |
| callnumber-search | BC135 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)13001175 (DE-599)BVBBV007090816 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| edition | Reprograf. Nachdr. d. Ausg. Paris 1914 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01402nam a2200385 c 4500</leader><controlfield tag="001">BV007090816</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090622 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930421s1965 |||| 00||| fre d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)13001175</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007090816</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Couturat, Louis</subfield><subfield code="d">1868-1914</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)116705639</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">L' algèbre de la logique</subfield><subfield code="c">Louis Couturat</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Reprograf. Nachdr. d. Ausg. Paris 1914</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hildesheim</subfield><subfield code="b">Olms</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">100 S.</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="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=004510839&sequence=000002&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-004510839</subfield></datafield></record></collection> |
| id | DE-604.BV007090816 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:55:21Z |
| institution | BVB |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004510839 |
| oclc_num | 13001175 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-210 |
| owner_facet | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-210 |
| physical | 100 S. |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | Olms |
| record_format | marc |
| spelling | Couturat, Louis 1868-1914 Verfasser (DE-588)116705639 aut L' algèbre de la logique Louis Couturat Reprograf. Nachdr. d. Ausg. Paris 1914 Hildesheim Olms 1965 100 S. txt rdacontent n rdamedia nc rdacarrier Algebraïsche logica gtt Logique symbolique et mathématique Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004510839&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Couturat, Louis 1868-1914 L' algèbre de la logique Algebraïsche logica gtt Logique symbolique et mathématique Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | L' algèbre de la logique |
| title_auth | L' algèbre de la logique |
| title_exact_search | L' algèbre de la logique |
| title_full | L' algèbre de la logique Louis Couturat |
| title_fullStr | L' algèbre de la logique Louis Couturat |
| title_full_unstemmed | L' algèbre de la logique Louis Couturat |
| title_short | L' algèbre de la logique |
| title_sort | l algebre de la logique |
| topic | Algebraïsche logica gtt Logique symbolique et mathématique Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Algebraïsche logica Logique symbolique et mathématique Logic, Symbolic and mathematical Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004510839&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT couturatlouis lalgebredelalogique |