Introductory logic and sets for computer scientists:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Harlow [u.a.]
Addison-Wesley
1999
|
| Schriftenreihe: | International computer science series
|
| Schlagworte: | |
| Beschreibung: | XVI, 384 S. graph. Darst. |
| ISBN: | 0201179571 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011915138 | ||
| 003 | DE-604 | ||
| 005 | 19981229 | ||
| 007 | t | ||
| 008 | 980430s1999 d||| |||| 00||| eng d | ||
| 020 | |a 0201179571 |9 0-201-17957-1 | ||
| 035 | |a (OCoLC)39300172 | ||
| 035 | |a (DE-599)BVBBV011915138 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-522 |a DE-634 | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 004/.01/5113 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Nissanke, Nimal |d 1943- |e Verfasser |0 (DE-588)121113426 |4 aut | |
| 245 | 1 | 0 | |a Introductory logic and sets for computer scientists |c Nimal Nissanke |
| 264 | 1 | |a Harlow [u.a.] |b Addison-Wesley |c 1999 | |
| 300 | |a XVI, 384 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a International computer science series | |
| 650 | 7 | |a Logique informatique |2 ram | |
| 650 | 7 | |a algèbre booléenne |2 inriac | |
| 650 | 7 | |a induction mathématique |2 inriac | |
| 650 | 7 | |a logique predicat |2 inriac | |
| 650 | 7 | |a logique propositionnelle |2 inriac | |
| 650 | 7 | |a raisonnement logique |2 inriac | |
| 650 | 7 | |a théorie jeu |2 inriac | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Set theory | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Numerische Mathematik |0 (DE-588)4042805-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 2 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | 2 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 689 | 3 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 3 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 3 | |8 3\p |5 DE-604 | |
| 689 | 4 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 4 | 1 | |a Numerische Mathematik |0 (DE-588)4042805-9 |D s |
| 689 | 4 | |8 4\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008053637 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804126503293681664 |
|---|---|
| any_adam_object | |
| author | Nissanke, Nimal 1943- |
| author_GND | (DE-588)121113426 |
| author_facet | Nissanke, Nimal 1943- |
| author_role | aut |
| author_sort | Nissanke, Nimal 1943- |
| author_variant | n n nn |
| building | Verbundindex |
| bvnumber | BV011915138 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 |
| callnumber-search | QA76.9.L63 |
| callnumber-sort | QA 276.9 L63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)39300172 (DE-599)BVBBV011915138 |
| dewey-full | 004/.01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/5113 |
| dewey-search | 004/.01/5113 |
| dewey-sort | 14 11 45113 |
| 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>02788nam a2200721 c 4500</leader><controlfield tag="001">BV011915138</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981229 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980430s1999 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201179571</subfield><subfield code="9">0-201-17957-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39300172</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011915138</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113</subfield><subfield code="2">21</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">Nissanke, Nimal</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121113426</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introductory logic and sets for computer scientists</subfield><subfield code="c">Nimal Nissanke</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Harlow [u.a.]</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 384 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">International computer science series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre booléenne</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">logique predicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique propositionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie jeu</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2="1"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008053637</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\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 | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV011915138 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:18:29Z |
| institution | BVB |
| isbn | 0201179571 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008053637 |
| oclc_num | 39300172 |
| open_access_boolean | |
| owner | DE-739 DE-522 DE-634 |
| owner_facet | DE-739 DE-522 DE-634 |
| physical | XVI, 384 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Addison-Wesley |
| record_format | marc |
| series2 | International computer science series |
| spelling | Nissanke, Nimal 1943- Verfasser (DE-588)121113426 aut Introductory logic and sets for computer scientists Nimal Nissanke Harlow [u.a.] Addison-Wesley 1999 XVI, 384 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International computer science series Logique informatique ram algèbre booléenne inriac induction mathématique inriac logique predicat inriac logique propositionnelle inriac raisonnement logique inriac théorie jeu inriac Computer logic Set theory Informatik (DE-588)4026894-9 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Numerische Mathematik (DE-588)4042805-9 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Software Engineering (DE-588)4116521-4 s Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s Mengenlehre (DE-588)4074715-3 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 Numerische Mathematik (DE-588)4042805-9 s 4\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Nissanke, Nimal 1943- Introductory logic and sets for computer scientists Logique informatique ram algèbre booléenne inriac induction mathématique inriac logique predicat inriac logique propositionnelle inriac raisonnement logique inriac théorie jeu inriac Computer logic Set theory Informatik (DE-588)4026894-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Numerische Mathematik (DE-588)4042805-9 gnd Software Engineering (DE-588)4116521-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4195096-3 (DE-588)4042805-9 (DE-588)4116521-4 (DE-588)4037951-6 (DE-588)4074715-3 (DE-588)4036202-4 (DE-588)4151278-9 |
| title | Introductory logic and sets for computer scientists |
| title_auth | Introductory logic and sets for computer scientists |
| title_exact_search | Introductory logic and sets for computer scientists |
| title_full | Introductory logic and sets for computer scientists Nimal Nissanke |
| title_fullStr | Introductory logic and sets for computer scientists Nimal Nissanke |
| title_full_unstemmed | Introductory logic and sets for computer scientists Nimal Nissanke |
| title_short | Introductory logic and sets for computer scientists |
| title_sort | introductory logic and sets for computer scientists |
| topic | Logique informatique ram algèbre booléenne inriac induction mathématique inriac logique predicat inriac logique propositionnelle inriac raisonnement logique inriac théorie jeu inriac Computer logic Set theory Informatik (DE-588)4026894-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Numerische Mathematik (DE-588)4042805-9 gnd Software Engineering (DE-588)4116521-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logique informatique algèbre booléenne induction mathématique logique predicat logique propositionnelle raisonnement logique théorie jeu Computer logic Set theory Informatik Logische Programmierung Numerische Mathematik Software Engineering Mathematische Logik Mengenlehre Logik Einführung |
| work_keys_str_mv | AT nissankenimal introductorylogicandsetsforcomputerscientists |