Logique et complexité:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Paris
Hermès
1996
|
| Schriftenreihe: | Collection informatique
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 322 S. graph. Darst. |
| ISBN: | 2866014960 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011103926 | ||
| 003 | DE-604 | ||
| 005 | 20141201 | ||
| 007 | t | ||
| 008 | 961209s1996 d||| |||| 00||| fre d | ||
| 020 | |a 2866014960 |9 2-86601-496-0 | ||
| 035 | |a (OCoLC)34256083 | ||
| 035 | |a (DE-599)BVBBV011103926 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-29T |a DE-188 | ||
| 050 | 0 | |a Q11 | |
| 082 | 1 | |a 003.54 |2 22 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Lassaigne, Richard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logique et complexité |c Richard Lassaigne ; Michel de Rougemont |
| 264 | 1 | |a Paris |b Hermès |c 1996 | |
| 300 | |a VIII, 322 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Collection informatique | |
| 650 | 7 | |a Calcul proportionnel |2 ram | |
| 650 | 4 | |a Complexité de calcul (Informatique) | |
| 650 | 7 | |a Complexité de calcul (informatique) |2 ram | |
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 7 | |a Logique du premier ordre |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Modeltheorie |2 gtt | |
| 650 | 7 | |a classe complexité |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a décidabilité |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a mesure complexité |2 inriac | |
| 650 | 7 | |a modèle mathématique |2 inriac | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rougemont, Michel de |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007439242&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007439242 | ||
Datensatz im Suchindex
| _version_ | 1804125594492862464 |
|---|---|
| adam_text | COLLECTION INFORMATIQUE LOGIQUE ET COMPLEXITE RICHARD LASSAIGNE MICHEL
DE ROUGEMONT HERMES TABLE DES MATIERES COMPLEXITE : LE TEMPS ET L ESPACE
5 1.1 CLASSES DE COMPLEXITE 7 1.1.1 COMPLEXITE DES PROBLEMES DE DECISION
9 1.1.2 EXEMPLES DE PROBLEMES DE DECISION 13 1.1.3 COMPLEXITE DES
PROBLEMES DE CALCUL 18 1.2 HIERARCHIES EN TEMPS ET EN ESPACE 22 1.2.1
SIMULATION DE PLUSIEURS RUBANS 22 1.2.2 LE ROLE DES CONSTANTES 23 1.2.3
LES RELATIONS ENTRE CLASSES 24 1.2.4 HIERARCHIES 26 1.2.5 LES CLASSES
NON DETERMINISTES EN ESPACE 27 1.3 LES MACHINES A ACCES ALEATOIRE 34 1.4
EXERCICES 40 DEFINISSABILITE 43 2.1 DEFINITIONS EXPLICITES 44 2.1.1
DEFINISSABILITE SUR UNE CLASSE 45 2.1.2 EQUIVALENCE ELEMENTAIRE
PARTIELLE 46 2.1.3 LES JEUX D EHRENFEUCHT-FRAISSE 47 2.1.4
CARACTERISATION LOGIQUE DE LA R-EQUIVALENCE 50 2.1.5 APPLICATION DES
JEUX D EHRENFEUCHT-FRAISSE 53 2.1.6 LES STRUCTURES RELATIONNELLES 55 2.2
LOIS 0-1 59 2.2.1 LE TEST DE LOS-VAUGHT 59 * 2.2.2 THEORIE DE PRESQUE
TOUTES LES STRUCTURES RELATIONNELLES . 60 2.2.3 CONVERGENCE ET LOI 0-1
61 2.3 DEFINITIONS IMPLICITES 64 2.3.1 L INTERPOLATION DE CRAIG 65 2.3.2
LE THEOREME DE DEFINISSABILITE DE BETH 67 2.3.3 LE CAS DES STRUCTURES
FINIES 69 2.4 EXERCICES 71 VI LOGIQUE ET COMPLEXITE 3 DEFINITIONS
INDUCTIVES ET LOGIQUE DU SECOND ORDRE 75 3.1 LES DEFINITIONS INDUCTIVES
75 3.1.1 LES SYSTEMES INDUCTIFS 77 3.1.2 LOGIQUE DU POINT FIXE 79 3.1.3
SUBSTITUTION 81 3.1.4 LA COMPARAISON DES ETAPES D INDUCTION 82 3.1.5 LA
HIERARCHIE DU POINT FIXE 85 3.1.6 DATALOG 88 3.2 LA LOGIQUE DU SECOND
ORDRE 90 3.2.1 FORMULES DU SECOND ORDRE ET INTERPRETATION 90 3.2.2
DEFINITIONS INDUCTIVES ET SECOND ORDRE 92 3.3 EXERCICES 95 4 LA
COMPLEXITE EN TEMPS : LES CLASSES P ET NP 99 4.1 LA CLASSE NP ET LES
PROBLEMES NP-COMPLETS 100 4.1.1 LES REDUCTIONS POLYNOMIALES 100 4.1.2
LES PROBLEMES ./VP-COMPLETS 101 4.1.3 CARACTERISATION LOGIQUE DE NP 110
4.1.4 EXEMPLES DE DEFINISSABILITE DE PROBLEMES NP 115 4.2
CARACTERISATIONS LOGIQUES DES CLASSES P ET FP 117 4.2.1 P : LA CLASSE
DES RELATIONS UNIFORMEMENT INDUCTIVES ... 117 4.2.2 FP : LA CLASSE DES
FONCTIONS UNIFORMEMENT RECURSIVES . . 123 4.3 EXERCICES 126 5 MODELES DE
CALCUL PARALLELE 129 5.1 LES CIRCUITS BOOLEENS 130 5.2 COMPLEXITE DANS
LES MODELES PARALLELES 135 5.3 EXEMPLES DE PROBLEMES NC 136 5.3.1 LA
MULTIPLICATION MATRICIELLE . . 137 5.3.2 L ALGORITHME D INVERSION
MATRICIELLE DE CSANKY 137 5.4 LES PRAM 142 5.5 EXERCICES 148 6 LA
COMPLEXITE EN ESPACE : L, FL, NL, PESPACE 151 6.1 LES CLASSES L, NLET FL
152 6.1.1 LES PROBLEMES JVL-COMPLETS 153 6.1.2 ALTERNATION EN ESPACE
BORNE 154 6.1.3 CARACTERISATION LOGIQUE DE NL 156 6.1.4 LA CLASSE DES
FONCTIONS FL 161 6.1.5 CARACTERISATION LOGIQUE DE FL 161 6.2 L ESPACE
SEQUENTIEL ET LE TEMPS PARALLELE 167 6.2.1 LA THESE DU TEMPS PARALLELE
170 6.2.2 LES PROBLEMES P-COMPLETS 171 6.3 LA CLASSE PESPACE 172 TABLE
DES MATIERES VII 6.3.1 LES FORMULES BOOLEENNES QUANTIFIEES ET LA CLASSE
AP . . . 172 6.3.2 LA SATISFAISABILITE STOCHASTIQUE 174 6.3.3 LES
PROBLEMES AVEC INCERTITUDE 176 6.4 EXERCICES 178 CLASSES PROBABILISTES
181 7.1 CLASSES PROBABILISTES DE DECISION 182 7.1.1 EXEMPLES
D ALGORITHMES PROBABILISTES 187 7.2 VERIFICATION PROBABILISTE 195 7.2.1
LES PREUVES INTERACTIVES 196 7.2.2 EXEMPLES DE PROTOCOLES INTERACTIFS
198 7.2.3 PROTOCOLES MULTIPROUVEURS 209 7.2.4 VERIFICATION PROBABILISTE
DE PREUVES : PCP 210 7.3 EXERCICES 219 APPROXIMATION 223 8.1 PROBLEMES
D OPTIMISATION 224 8.1.1 EXEMPLES D ALGORITHMES D APPROXIMATION 226
8.1.2 DEFINISSABILITE D UN PROBLEME D OPTIMISATION 230 8.1.3
APPROXIMATION DES PROBLEMES D OPTIMISATION 236 8.1.4 REDUCTIONS ET
COMPLETUDE 243 8.1.5 NON-APPROXIMABILITE 245 8.2 PROBLEMES DE COMPTAGE
248 8.2.1 DEFINISSABILITE DES PROBLEMES DE COMPTAGE 248 8.2.2
APPROXIMATION DES PROBLEMES DE COMPTAGE 250 8.2.3 APPROXIMATION DE #WF
252 8.3 EXERCICES . . . 256 CLASSES AU-DESSUS DE NP 259 9.1 LA
HIERARCHIE POLYNOMIALE 259 9.1.1 DEFINISSABILITE AU SECOND ORDRE 260
9.1.2 CALCULABILITE RELATIVE 261 9.1.3 CALCULS ALTERNANTS 263 9.2
GENERALISATIONS DE NP 264 9.2.1 LES CLASSES P, PP ET BPP 265 9.2.2 LES
CLASSES DE COMPTAGE 270 9.2.3 HACHAGE UNIVERSEL . 273 9.2.4 LE THEOREME
DE VALIANT-VAZIRANI . . 275 9.2.5 LE THEOREME DE TODA 276 9.3 LE TEMPS
EXPONENTIEL 282 9.4 EXERCICES 286 VIII LOGIQUE ET COMPLEXITE 10 LOGIQUE
ET CALCULABILITE 287 10.1 LOGIQUE PROPOSITIONNELLE 287 10.2 LOGIQUE DU
PREMIER ORDRE 292 10.3 CALCULABILITE ET RECURSIVITE 295 10.4
INDECIDABILITE ET INCOMPLETUDE 305 BIBLIOGRAPHIE 309 INDEX 318
|
| any_adam_object | 1 |
| author | Lassaigne, Richard Rougemont, Michel de |
| author_facet | Lassaigne, Richard Rougemont, Michel de |
| author_role | aut aut |
| author_sort | Lassaigne, Richard |
| author_variant | r l rl m d r md mdr |
| building | Verbundindex |
| bvnumber | BV011103926 |
| callnumber-first | Q - Science |
| callnumber-label | Q11 |
| callnumber-raw | Q11 |
| callnumber-search | Q11 |
| callnumber-sort | Q 211 |
| callnumber-subject | Q - General Science |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)34256083 (DE-599)BVBBV011103926 |
| dewey-full | 003.54 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.54 |
| dewey-search | 003.54 |
| dewey-sort | 13.54 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01988nam a2200541 c 4500</leader><controlfield tag="001">BV011103926</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141201 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961209s1996 d||| |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2866014960</subfield><subfield code="9">2-86601-496-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34256083</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011103926</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-29T</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q11</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">003.54</subfield><subfield code="2">22</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">Lassaigne, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logique et complexité</subfield><subfield code="c">Richard Lassaigne ; Michel de Rougemont</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Hermès</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 322 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="0" ind2=" "><subfield code="a">Collection informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Calcul proportionnel</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexité de calcul (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Complexité de calcul (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique du premier ordre</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">classe complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mesure complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle mathématique</subfield><subfield code="2">inriac</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">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">Rougemont, Michel de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007439242&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-007439242</subfield></datafield></record></collection> |
| id | DE-604.BV011103926 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:04:03Z |
| institution | BVB |
| isbn | 2866014960 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007439242 |
| oclc_num | 34256083 |
| open_access_boolean | |
| owner | DE-29T DE-188 |
| owner_facet | DE-29T DE-188 |
| physical | VIII, 322 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Hermès |
| record_format | marc |
| series2 | Collection informatique |
| spelling | Lassaigne, Richard Verfasser aut Logique et complexité Richard Lassaigne ; Michel de Rougemont Paris Hermès 1996 VIII, 322 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Collection informatique Calcul proportionnel ram Complexité de calcul (Informatique) Complexité de calcul (informatique) ram Fundamentele informatica gtt Logique du premier ordre ram Logique symbolique et mathématique Modeltheorie gtt classe complexité inriac complexité inriac décidabilité inriac logique mathématique inriac mesure complexité inriac modèle mathématique inriac Logik (DE-588)4036202-4 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Logik (DE-588)4036202-4 s Komplexitätstheorie (DE-588)4120591-1 s DE-604 Rougemont, Michel de Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007439242&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lassaigne, Richard Rougemont, Michel de Logique et complexité Calcul proportionnel ram Complexité de calcul (Informatique) Complexité de calcul (informatique) ram Fundamentele informatica gtt Logique du premier ordre ram Logique symbolique et mathématique Modeltheorie gtt classe complexité inriac complexité inriac décidabilité inriac logique mathématique inriac mesure complexité inriac modèle mathématique inriac Logik (DE-588)4036202-4 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4120591-1 |
| title | Logique et complexité |
| title_auth | Logique et complexité |
| title_exact_search | Logique et complexité |
| title_full | Logique et complexité Richard Lassaigne ; Michel de Rougemont |
| title_fullStr | Logique et complexité Richard Lassaigne ; Michel de Rougemont |
| title_full_unstemmed | Logique et complexité Richard Lassaigne ; Michel de Rougemont |
| title_short | Logique et complexité |
| title_sort | logique et complexite |
| topic | Calcul proportionnel ram Complexité de calcul (Informatique) Complexité de calcul (informatique) ram Fundamentele informatica gtt Logique du premier ordre ram Logique symbolique et mathématique Modeltheorie gtt classe complexité inriac complexité inriac décidabilité inriac logique mathématique inriac mesure complexité inriac modèle mathématique inriac Logik (DE-588)4036202-4 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| topic_facet | Calcul proportionnel Complexité de calcul (Informatique) Complexité de calcul (informatique) Fundamentele informatica Logique du premier ordre Logique symbolique et mathématique Modeltheorie classe complexité complexité décidabilité logique mathématique mesure complexité modèle mathématique Logik Komplexitätstheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007439242&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT lassaignerichard logiqueetcomplexite AT rougemontmichelde logiqueetcomplexite |