Learning discrete mathematics with ISETL:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Springer
1989
|
| Edition: | 1. print. |
| Subjects: | |
| Physical Description: | XVII, 416 S. |
| ISBN: | 0387968989 3540968989 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021890389 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 900508s1989 |||| 00||| eng d | ||
| 020 | |a 0387968989 |9 0-387-96898-9 | ||
| 020 | |a 3540968989 |9 3-540-96898-9 | ||
| 035 | |a (OCoLC)18557068 | ||
| 035 | |a (DE-599)BVBBV021890389 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA39.2 | |
| 082 | 0 | |a 510/.78 |2 19 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 100 | 1 | |a Baxter Hastings, Nancy |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Learning discrete mathematics with ISETL |c Nancy Baxter ; Ed Dubinsky ; Gary Levin |
| 250 | |a 1. print. | ||
| 264 | 1 | |a New York [u.a.] |b Springer |c 1989 | |
| 300 | |a XVII, 416 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a ISETL |2 inriac | |
| 650 | 4 | |a Mathématiques | |
| 650 | 7 | |a Mathématiques - Logiciels |2 ram | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a combinatoire |2 inriac | |
| 650 | 7 | |a déterminant |2 inriac | |
| 650 | 7 | |a graphe |2 inriac | |
| 650 | 7 | |a induction mathématique |2 inriac | |
| 650 | 7 | |a mathématique discrète |2 inriac | |
| 650 | 7 | |a matrice |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 4 | |a ISETL (Computer program language) | |
| 650 | 4 | |a Mathematics | |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a ISETL |0 (DE-588)4205825-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143389-0 |a Aufgabensammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 2 | |a ISETL |0 (DE-588)4205825-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Dubinsky, Ed |e Verfasser |4 aut | |
| 700 | 1 | |a Levin, Gary |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015105604 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804135833435897856 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Baxter Hastings, Nancy Dubinsky, Ed Levin, Gary |
| author_facet | Baxter Hastings, Nancy Dubinsky, Ed Levin, Gary |
| author_role | aut aut aut |
| author_sort | Baxter Hastings, Nancy |
| author_variant | h n b hn hnb e d ed g l gl |
| building | Verbundindex |
| bvnumber | BV021890389 |
| callnumber-first | Q - Science |
| callnumber-label | QA39 |
| callnumber-raw | QA39.2 |
| callnumber-search | QA39.2 |
| callnumber-sort | QA 239.2 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 110 |
| ctrlnum | (OCoLC)18557068 (DE-599)BVBBV021890389 |
| dewey-full | 510/.78 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510/.78 |
| dewey-search | 510/.78 |
| dewey-sort | 3510 278 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02237nam a2200673zc 4500</leader><controlfield tag="001">BV021890389</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900508s1989 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387968989</subfield><subfield code="9">0-387-96898-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540968989</subfield><subfield code="9">3-540-96898-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18557068</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021890389</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA39.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.78</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baxter Hastings, Nancy</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Learning discrete mathematics with ISETL</subfield><subfield code="c">Nancy Baxter ; Ed Dubinsky ; Gary Levin</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 416 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">ISETL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques - Logiciels</subfield><subfield code="2">ram</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">combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déterminant</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 mathématique</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">matrice</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=" " ind2="4"><subfield code="a">ISETL (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">ISETL</subfield><subfield code="0">(DE-588)4205825-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">ISETL</subfield><subfield code="0">(DE-588)4205825-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dubinsky, Ed</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Levin, Gary</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-015105604</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)4143389-0 Aufgabensammlung gnd-content |
| genre_facet | Aufgabensammlung |
| id | DE-604.BV021890389 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:08Z |
| indexdate | 2024-07-09T20:46:47Z |
| institution | BVB |
| isbn | 0387968989 3540968989 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015105604 |
| oclc_num | 18557068 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | XVII, 416 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer |
| record_format | marc |
| spelling | Baxter Hastings, Nancy Verfasser aut Learning discrete mathematics with ISETL Nancy Baxter ; Ed Dubinsky ; Gary Levin 1. print. New York [u.a.] Springer 1989 XVII, 416 S. txt rdacontent n rdamedia nc rdacarrier ISETL inriac Mathématiques Mathématiques - Logiciels ram calcul propositionnel inriac calcul prédicat inriac combinatoire inriac déterminant inriac graphe inriac induction mathématique inriac mathématique discrète inriac matrice inriac Informatik Mathematik Computer science Mathematics ISETL (Computer program language) Mathematics Software (DE-588)4055382-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf ISETL (DE-588)4205825-9 gnd rswk-swf (DE-588)4143389-0 Aufgabensammlung gnd-content Software (DE-588)4055382-6 s DE-604 Diskrete Mathematik (DE-588)4129143-8 s Programmierung (DE-588)4076370-5 s ISETL (DE-588)4205825-9 s 1\p DE-604 Dubinsky, Ed Verfasser aut Levin, Gary Verfasser aut 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Baxter Hastings, Nancy Dubinsky, Ed Levin, Gary Learning discrete mathematics with ISETL ISETL inriac Mathématiques Mathématiques - Logiciels ram calcul propositionnel inriac calcul prédicat inriac combinatoire inriac déterminant inriac graphe inriac induction mathématique inriac mathématique discrète inriac matrice inriac Informatik Mathematik Computer science Mathematics ISETL (Computer program language) Mathematics Software (DE-588)4055382-6 gnd Programmierung (DE-588)4076370-5 gnd Diskrete Mathematik (DE-588)4129143-8 gnd ISETL (DE-588)4205825-9 gnd |
| subject_GND | (DE-588)4055382-6 (DE-588)4076370-5 (DE-588)4129143-8 (DE-588)4205825-9 (DE-588)4143389-0 |
| title | Learning discrete mathematics with ISETL |
| title_auth | Learning discrete mathematics with ISETL |
| title_exact_search | Learning discrete mathematics with ISETL |
| title_exact_search_txtP | Learning discrete mathematics with ISETL |
| title_full | Learning discrete mathematics with ISETL Nancy Baxter ; Ed Dubinsky ; Gary Levin |
| title_fullStr | Learning discrete mathematics with ISETL Nancy Baxter ; Ed Dubinsky ; Gary Levin |
| title_full_unstemmed | Learning discrete mathematics with ISETL Nancy Baxter ; Ed Dubinsky ; Gary Levin |
| title_short | Learning discrete mathematics with ISETL |
| title_sort | learning discrete mathematics with isetl |
| topic | ISETL inriac Mathématiques Mathématiques - Logiciels ram calcul propositionnel inriac calcul prédicat inriac combinatoire inriac déterminant inriac graphe inriac induction mathématique inriac mathématique discrète inriac matrice inriac Informatik Mathematik Computer science Mathematics ISETL (Computer program language) Mathematics Software (DE-588)4055382-6 gnd Programmierung (DE-588)4076370-5 gnd Diskrete Mathematik (DE-588)4129143-8 gnd ISETL (DE-588)4205825-9 gnd |
| topic_facet | ISETL Mathématiques Mathématiques - Logiciels calcul propositionnel calcul prédicat combinatoire déterminant graphe induction mathématique mathématique discrète matrice Informatik Mathematik Computer science Mathematics ISETL (Computer program language) Mathematics Software Programmierung Diskrete Mathematik Aufgabensammlung |
| work_keys_str_mv | AT baxterhastingsnancy learningdiscretemathematicswithisetl AT dubinskyed learningdiscretemathematicswithisetl AT levingary learningdiscretemathematicswithisetl |