Logic and discrete mathematics: a computer science perspective
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Upper Saddle River, NJ
Prentice Hall
c 1996
|
| Ausgabe: | 5. print. |
| Schriftenreihe: | Prentice Hall international editions
|
| Schlagworte: | |
| Beschreibung: | XVIII, 750 S. graph. Darst. |
| ISBN: | 0135012066 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013888496 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 010831s1996 d||| |||| 00||| eng d | ||
| 020 | |a 0135012066 |9 0-13-501206-6 | ||
| 035 | |a (OCoLC)33010073 | ||
| 035 | |a (DE-599)BVBBV013888496 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 050 | 0 | |a QA76.9.M35 | |
| 082 | 0 | |a 005.1/01/5113 |2 20 | |
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a MAT 050f |2 stub | ||
| 100 | 1 | |a Grassmann, Winfried Karl |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic and discrete mathematics |b a computer science perspective |c Winfried Karl Grassmann ; Jean-Paul Tremblay |
| 250 | |a 5. print. | ||
| 264 | 1 | |a Upper Saddle River, NJ |b Prentice Hall |c c 1996 | |
| 300 | |a XVIII, 750 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Prentice Hall international editions | |
| 650 | 7 | |a Ciencia da computacao ou informatica |2 larpcal | |
| 650 | 4 | |a Informatique - Mathématiques | |
| 650 | 7 | |a Informatique - Mathématiques |2 ram | |
| 650 | 7 | |a Matematica |2 larpcal | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a analyse syntaxique |2 inriac | |
| 650 | 7 | |a arbre |2 inriac | |
| 650 | 7 | |a base donnée relationnelle |2 inriac | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a dérivation |2 inriac | |
| 650 | 7 | |a ensemble |2 inriac | |
| 650 | 7 | |a grammaire |2 inriac | |
| 650 | 7 | |a graphe |2 inriac | |
| 650 | 7 | |a induction |2 inriac | |
| 650 | 7 | |a langage Z |2 inriac | |
| 650 | 7 | |a langage |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a mathématique discrète |2 inriac | |
| 650 | 7 | |a récursion |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Tremblay, Jean-Paul |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009502014 | ||
Datensatz im Suchindex
| _version_ | 1804128728192647168 |
|---|---|
| any_adam_object | |
| author | Grassmann, Winfried Karl Tremblay, Jean-Paul |
| author_facet | Grassmann, Winfried Karl Tremblay, Jean-Paul |
| author_role | aut aut |
| author_sort | Grassmann, Winfried Karl |
| author_variant | w k g wk wkg j p t jpt |
| building | Verbundindex |
| bvnumber | BV013888496 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 |
| callnumber-search | QA76.9.M35 |
| callnumber-sort | QA 276.9 M35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 890 ST 120 |
| classification_tum | MAT 050f |
| ctrlnum | (OCoLC)33010073 (DE-599)BVBBV013888496 |
| dewey-full | 005.1/01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5113 |
| dewey-search | 005.1/01/5113 |
| dewey-sort | 15.1 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| edition | 5. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02357nam a2200709 c 4500</leader><controlfield tag="001">BV013888496</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010831s1996 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0135012066</subfield><subfield code="9">0-13-501206-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33010073</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013888496</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 050f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Grassmann, Winfried Karl</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and discrete mathematics</subfield><subfield code="b">a computer science perspective</subfield><subfield code="c">Winfried Karl Grassmann ; Jean-Paul Tremblay</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Upper Saddle River, NJ</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">c 1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 750 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">Prentice Hall international editions</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ciencia da computacao ou informatica</subfield><subfield code="2">larpcal</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="7"><subfield code="a">Matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse syntaxique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">arbre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée relationnelle</subfield><subfield code="2">inriac</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">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">dérivation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ensemble</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">graphe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">induction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage Z</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mathématique discrète</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">récursion</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="700" ind1="1" ind2=" "><subfield code="a">Tremblay, Jean-Paul</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-009502014</subfield></datafield></record></collection> |
| id | DE-604.BV013888496 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:53:51Z |
| institution | BVB |
| isbn | 0135012066 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009502014 |
| oclc_num | 33010073 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XVIII, 750 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Prentice Hall |
| record_format | marc |
| series2 | Prentice Hall international editions |
| spelling | Grassmann, Winfried Karl Verfasser aut Logic and discrete mathematics a computer science perspective Winfried Karl Grassmann ; Jean-Paul Tremblay 5. print. Upper Saddle River, NJ Prentice Hall c 1996 XVIII, 750 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Prentice Hall international editions Ciencia da computacao ou informatica larpcal Informatique - Mathématiques Informatique - Mathématiques ram Matematica larpcal PROLOG inriac Programmation logique ram analyse syntaxique inriac arbre inriac base donnée relationnelle inriac calcul propositionnel inriac calcul prédicat inriac dérivation inriac ensemble inriac grammaire inriac graphe inriac induction inriac langage Z inriac langage inriac logique inriac mathématique discrète inriac récursion inriac théorie démonstration inriac Informatik Mathematik Computer science Mathematics Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 s Mathematische Logik (DE-588)4037951-6 s DE-604 Tremblay, Jean-Paul Verfasser aut |
| spellingShingle | Grassmann, Winfried Karl Tremblay, Jean-Paul Logic and discrete mathematics a computer science perspective Ciencia da computacao ou informatica larpcal Informatique - Mathématiques Informatique - Mathématiques ram Matematica larpcal PROLOG inriac Programmation logique ram analyse syntaxique inriac arbre inriac base donnée relationnelle inriac calcul propositionnel inriac calcul prédicat inriac dérivation inriac ensemble inriac grammaire inriac graphe inriac induction inriac langage Z inriac langage inriac logique inriac mathématique discrète inriac récursion inriac théorie démonstration inriac Informatik Mathematik Computer science Mathematics Diskrete Mathematik (DE-588)4129143-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4129143-8 (DE-588)4037951-6 |
| title | Logic and discrete mathematics a computer science perspective |
| title_auth | Logic and discrete mathematics a computer science perspective |
| title_exact_search | Logic and discrete mathematics a computer science perspective |
| title_full | Logic and discrete mathematics a computer science perspective Winfried Karl Grassmann ; Jean-Paul Tremblay |
| title_fullStr | Logic and discrete mathematics a computer science perspective Winfried Karl Grassmann ; Jean-Paul Tremblay |
| title_full_unstemmed | Logic and discrete mathematics a computer science perspective Winfried Karl Grassmann ; Jean-Paul Tremblay |
| title_short | Logic and discrete mathematics |
| title_sort | logic and discrete mathematics a computer science perspective |
| title_sub | a computer science perspective |
| topic | Ciencia da computacao ou informatica larpcal Informatique - Mathématiques Informatique - Mathématiques ram Matematica larpcal PROLOG inriac Programmation logique ram analyse syntaxique inriac arbre inriac base donnée relationnelle inriac calcul propositionnel inriac calcul prédicat inriac dérivation inriac ensemble inriac grammaire inriac graphe inriac induction inriac langage Z inriac langage inriac logique inriac mathématique discrète inriac récursion inriac théorie démonstration inriac Informatik Mathematik Computer science Mathematics Diskrete Mathematik (DE-588)4129143-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Ciencia da computacao ou informatica Informatique - Mathématiques Matematica PROLOG Programmation logique analyse syntaxique arbre base donnée relationnelle calcul propositionnel calcul prédicat dérivation ensemble grammaire graphe induction langage Z langage logique mathématique discrète récursion théorie démonstration Informatik Mathematik Computer science Mathematics Diskrete Mathematik Mathematische Logik |
| work_keys_str_mv | AT grassmannwinfriedkarl logicanddiscretemathematicsacomputerscienceperspective AT tremblayjeanpaul logicanddiscretemathematicsacomputerscienceperspective |