Logique et fondements de l'informatique: logique du 1er ordre, calculabilité et lambda-calcul
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | French |
| Published: |
Paris
Hermès
1993
|
| Series: | Traité des nouvelles technologies
|
| Subjects: | |
| Physical Description: | VIII, 248 S. graph. Darst. |
| ISBN: | 2866013808 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011104089 | ||
| 003 | DE-604 | ||
| 005 | 19961209 | ||
| 007 | t | ||
| 008 | 961209s1993 d||| |||| 00||| fre d | ||
| 020 | |a 2866013808 |9 2-86601-380-8 | ||
| 035 | |a (OCoLC)28985507 | ||
| 035 | |a (DE-599)BVBBV011104089 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-29T | ||
| 050 | 0 | |a QA76.9M35L37 1993 | |
| 082 | 0 | |a 511.3 | |
| 100 | 1 | |a Lassaigne, Richard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logique et fondements de l'informatique |b logique du 1er ordre, calculabilité et lambda-calcul |c Richard Lassaigne ; Michel de Rougemont |
| 264 | 1 | |a Paris |b Hermès |c 1993 | |
| 300 | |a VIII, 248 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Traité des nouvelles technologies | |
| 650 | 4 | |a Fonctions calculables | |
| 650 | 4 | |a Fonctions récursives | |
| 650 | 4 | |a Informatique - Mathématiques | |
| 650 | 7 | |a Informatique - Mathématiques |2 ram | |
| 650 | 4 | |a Lambda-calcul | |
| 650 | 4 | |a Logique du premier ordre | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a calculabilité |2 inriac | |
| 650 | 7 | |a complétude |2 inriac | |
| 650 | 7 | |a déduction |2 inriac | |
| 650 | 7 | |a fonction récursive |2 inriac | |
| 650 | 7 | |a incomplétude |2 inriac | |
| 650 | 7 | |a indécidabilité |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 0 | 7 | |a Stufe 1 |0 (DE-588)4362503-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Stufe 1 |0 (DE-588)4362503-4 |D s |
| 689 | 0 | 2 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 0 | 3 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rougemont, Michel de |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007439389 | ||
Record in the Search Index
| _version_ | 1804125594718306304 |
|---|---|
| any_adam_object | |
| 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 | BV011104089 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9M35L37 1993 |
| callnumber-search | QA76.9M35L37 1993 |
| callnumber-sort | QA 276.9 M35 L37 41993 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)28985507 (DE-599)BVBBV011104089 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02209nam a2200637 c 4500</leader><controlfield tag="001">BV011104089</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961209s1993 d||| |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2866013808</subfield><subfield code="9">2-86601-380-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28985507</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011104089</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></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9M35L37 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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 fondements de l'informatique</subfield><subfield code="b">logique du 1er ordre, calculabilité et lambda-calcul</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">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 248 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">Traité des nouvelles technologies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions calculables</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions récursives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda-calcul</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique du premier ordre</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">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calculabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complétude</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fonction récursive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">incomplétude</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">indécidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</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">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007439389</subfield></datafield></record></collection> |
| id | DE-604.BV011104089 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:04:03Z |
| institution | BVB |
| isbn | 2866013808 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007439389 |
| oclc_num | 28985507 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | VIII, 248 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Hermès |
| record_format | marc |
| series2 | Traité des nouvelles technologies |
| spelling | Lassaigne, Richard Verfasser aut Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul Richard Lassaigne ; Michel de Rougemont Paris Hermès 1993 VIII, 248 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Traité des nouvelles technologies Fonctions calculables Fonctions récursives Informatique - Mathématiques Informatique - Mathématiques ram Lambda-calcul Logique du premier ordre Logique symbolique et mathématique Logique symbolique et mathématique ram Programmation logique calcul propositionnel inriac calculabilité inriac complétude inriac déduction inriac fonction récursive inriac incomplétude inriac indécidabilité inriac lambda calcul inriac logique 1er ordre inriac programmation en logique inriac Stufe 1 (DE-588)4362503-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Logik (DE-588)4036202-4 s Stufe 1 (DE-588)4362503-4 s Lambda-Kalkül (DE-588)4166495-4 s Berechenbarkeit (DE-588)4138368-0 s DE-604 Rougemont, Michel de Verfasser aut |
| spellingShingle | Lassaigne, Richard Rougemont, Michel de Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul Fonctions calculables Fonctions récursives Informatique - Mathématiques Informatique - Mathématiques ram Lambda-calcul Logique du premier ordre Logique symbolique et mathématique Logique symbolique et mathématique ram Programmation logique calcul propositionnel inriac calculabilité inriac complétude inriac déduction inriac fonction récursive inriac incomplétude inriac indécidabilité inriac lambda calcul inriac logique 1er ordre inriac programmation en logique inriac Stufe 1 (DE-588)4362503-4 gnd Logik (DE-588)4036202-4 gnd Berechenbarkeit (DE-588)4138368-0 gnd Lambda-Kalkül (DE-588)4166495-4 gnd |
| subject_GND | (DE-588)4362503-4 (DE-588)4036202-4 (DE-588)4138368-0 (DE-588)4166495-4 |
| title | Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul |
| title_auth | Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul |
| title_exact_search | Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul |
| title_full | Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul Richard Lassaigne ; Michel de Rougemont |
| title_fullStr | Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul Richard Lassaigne ; Michel de Rougemont |
| title_full_unstemmed | Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul Richard Lassaigne ; Michel de Rougemont |
| title_short | Logique et fondements de l'informatique |
| title_sort | logique et fondements de l informatique logique du 1er ordre calculabilite et lambda calcul |
| title_sub | logique du 1er ordre, calculabilité et lambda-calcul |
| topic | Fonctions calculables Fonctions récursives Informatique - Mathématiques Informatique - Mathématiques ram Lambda-calcul Logique du premier ordre Logique symbolique et mathématique Logique symbolique et mathématique ram Programmation logique calcul propositionnel inriac calculabilité inriac complétude inriac déduction inriac fonction récursive inriac incomplétude inriac indécidabilité inriac lambda calcul inriac logique 1er ordre inriac programmation en logique inriac Stufe 1 (DE-588)4362503-4 gnd Logik (DE-588)4036202-4 gnd Berechenbarkeit (DE-588)4138368-0 gnd Lambda-Kalkül (DE-588)4166495-4 gnd |
| topic_facet | Fonctions calculables Fonctions récursives Informatique - Mathématiques Lambda-calcul Logique du premier ordre Logique symbolique et mathématique Programmation logique calcul propositionnel calculabilité complétude déduction fonction récursive incomplétude indécidabilité lambda calcul logique 1er ordre programmation en logique Stufe 1 Logik Berechenbarkeit Lambda-Kalkül |
| work_keys_str_mv | AT lassaignerichard logiqueetfondementsdelinformatiquelogiquedu1erordrecalculabiliteetlambdacalcul AT rougemontmichelde logiqueetfondementsdelinformatiquelogiquedu1erordrecalculabiliteetlambdacalcul |