Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
New York, NY
Springer New York
1992
|
Schriftenreihe: | Mathematical Sciences Research Institute Publications
21 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too |
Beschreibung: | 1 Online-Ressource (XI, 608p. 10 illus) |
ISBN: | 9781461228226 9781461276852 |
ISSN: | 0940-4740 |
DOI: | 10.1007/978-1-4612-2822-6 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042420080 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150317s1992 |||| o||u| ||||||eng d | ||
020 | |a 9781461228226 |c Online |9 978-1-4612-2822-6 | ||
020 | |a 9781461276852 |c Print |9 978-1-4612-7685-2 | ||
024 | 7 | |a 10.1007/978-1-4612-2822-6 |2 doi | |
035 | |a (OCoLC)863760335 | ||
035 | |a (DE-599)BVBBV042420080 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
082 | 0 | |a 511.3 |2 23 | |
084 | |a MAT 000 |2 stub | ||
100 | 1 | |a Moschovakis, Yiannis N. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Logic from Computer Science |b Proceedings of a Workshop held November 13–17, 1989 |c edited by Yiannis N. Moschovakis |
264 | 1 | |a New York, NY |b Springer New York |c 1992 | |
300 | |a 1 Online-Ressource (XI, 608p. 10 illus) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Mathematical Sciences Research Institute Publications |v 21 |x 0940-4740 | |
500 | |a The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too | ||
650 | 4 | |a Mathematics | |
650 | 4 | |a Computer science | |
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 4 | |a Mathematical Logic and Foundations | |
650 | 4 | |a Mathematical Logic and Formal Languages | |
650 | 4 | |a Informatik | |
650 | 4 | |a Mathematik | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1989 |z Berkeley Calif. |2 gnd-content | |
689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4612-2822-6 |x Verlag |3 Volltext |
912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
940 | 1 | |q ZDB-2-SMA_Archive | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027855497 | ||
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 |
Datensatz im Suchindex
_version_ | 1804153091491102720 |
---|---|
any_adam_object | |
author | Moschovakis, Yiannis N. |
author_facet | Moschovakis, Yiannis N. |
author_role | aut |
author_sort | Moschovakis, Yiannis N. |
author_variant | y n m yn ynm |
building | Verbundindex |
bvnumber | BV042420080 |
classification_tum | MAT 000 |
collection | ZDB-2-SMA ZDB-2-BAE |
ctrlnum | (OCoLC)863760335 (DE-599)BVBBV042420080 |
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 |
doi_str_mv | 10.1007/978-1-4612-2822-6 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03445nmm a2200541zcb4500</leader><controlfield tag="001">BV042420080</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1992 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461228226</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4612-2822-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461276852</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4612-7685-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4612-2822-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863760335</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042420080</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Moschovakis, Yiannis N.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic from Computer Science</subfield><subfield code="b">Proceedings of a Workshop held November 13–17, 1989</subfield><subfield code="c">edited by Yiannis N. Moschovakis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 608p. 10 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Mathematical Sciences Research Institute Publications</subfield><subfield code="v">21</subfield><subfield code="x">0940-4740</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</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="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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1989</subfield><subfield code="z">Berkeley Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4612-2822-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027855497</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></record></collection> |
genre | 1\p (DE-588)1071861417 Konferenzschrift 1989 Berkeley Calif. gnd-content |
genre_facet | Konferenzschrift 1989 Berkeley Calif. |
id | DE-604.BV042420080 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:06Z |
institution | BVB |
isbn | 9781461228226 9781461276852 |
issn | 0940-4740 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027855497 |
oclc_num | 863760335 |
open_access_boolean | |
owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
physical | 1 Online-Ressource (XI, 608p. 10 illus) |
psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
publishDate | 1992 |
publishDateSearch | 1992 |
publishDateSort | 1992 |
publisher | Springer New York |
record_format | marc |
series2 | Mathematical Sciences Research Institute Publications |
spelling | Moschovakis, Yiannis N. Verfasser aut Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 edited by Yiannis N. Moschovakis New York, NY Springer New York 1992 1 Online-Ressource (XI, 608p. 10 illus) txt rdacontent c rdamedia cr rdacarrier Mathematical Sciences Research Institute Publications 21 0940-4740 The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1989 Berkeley Calif. gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s 2\p DE-604 https://doi.org/10.1007/978-1-4612-2822-6 Verlag Volltext 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 |
spellingShingle | Moschovakis, Yiannis N. Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4026894-9 (DE-588)1071861417 |
title | Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 |
title_auth | Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 |
title_exact_search | Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 |
title_full | Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 edited by Yiannis N. Moschovakis |
title_fullStr | Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 edited by Yiannis N. Moschovakis |
title_full_unstemmed | Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989 edited by Yiannis N. Moschovakis |
title_short | Logic from Computer Science |
title_sort | logic from computer science proceedings of a workshop held november 13 17 1989 |
title_sub | Proceedings of a Workshop held November 13–17, 1989 |
topic | Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd |
topic_facet | Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Mathematische Logik Konferenzschrift 1989 Berkeley Calif. |
url | https://doi.org/10.1007/978-1-4612-2822-6 |
work_keys_str_mv | AT moschovakisyiannisn logicfromcomputerscienceproceedingsofaworkshopheldnovember13171989 |