Wyniki wyszukiwania:
wyszukanych pozycji: 12
 |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
ISBN: 9783540536864 / Angielski / Miękka / 1991 / 569 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics.
This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational sema...
|
cena:
388,20 zł |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568811994 / Angielski / Twarda / 2004 / 230 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
417,30 zł |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568812038 / Angielski / Miękka / 2004 / 230 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
229,49 zł |
 |
Games, Actions, and Social Software: Multidisciplinary Aspects
ISBN: 9783642293252 / Angielski / Miękka / 2012 / 214 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "Games, actions and Social software" which was carried out at the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS) in Wassenaar, from September 2006 through January 2007. The chapters focus on social software and the social sciences, knowledge, belief and action, perception, communication, and cooperation.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary...
|
cena:
194,08 zł |
 |
Hidden Holland
ISBN: 9789460583353 / Angielski / Miękka / 2023 / 280 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych (Dostawa przed świętami) |
cena:
87,11 zł |
 |
Imagination of Science in Education: From Epics to Novelization
ISBN: 9789400753914 / Angielski / Twarda / 2012 / 240 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Researchers agree that schools construct a particular image of science, in which some characteristics are featured while others end up in oblivion. The result is that although most children are likely to be familiar with images of heroic scientists such as Einstein and Darwin, they rarely learn about the messy, day-to-day practice of science in which scientists are ordinary humans. Surprisingly, the process by which this imagination of science in education occurs has rarely been theorized. This is all the more remarkable since great thinkers tend to agree that the formation of... Researchers agree that schools construct a particular image of science, in which some characteristics are featured while others end up in ob... |
cena:
388,20 zł |
 |
The Haskell Road to Logic, Maths and Programming: v. 4
ISBN: 9780954300692 / Angielski / Miękka / 2004 / 450 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road to mathematics. Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a...
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road t...
|
cena:
135,66 zł |
 |
Discourses on Social Software
ISBN: 9789089641236 / Angielski / Miękka / 2009 / 248 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Can computer science solve our social problems? With "Discourses on Social Software" Jan Van Eijck and Rineke Verbrugge suggest it can, offering the reader a fascinating introduction to the innovative field of social software. Compiling a series of discussions involving a logician, a computer scientist, a philosopher, and a number of researchers from various other academic fields, this collection details the many ways in which the seemingly abstract disciplines of logic and computer science can be used to analyze and solve contemporary social problems.
Can computer science solve our social problems? With "Discourses on Social Software" Jan Van Eijck and Rineke Verbrugge suggest it can, offering the r...
|
cena:
234,50 zł |
 |
500 Hidden Secrets Amsterdam : Die besten Tipps und Adressen der Locals
ISBN: 9783734312854 / Niemiecki / Miękka / 2018 / 256 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
86,74 zł |
 |
Imagination of Science in Education: From Epics to Novelization
ISBN: 9789401781732 / Angielski / Miękka / 2014 / 240 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Researchers agree that schools construct a particular image of science, in which some characteristics are featured while others end up in oblivion. The result is that although most children are likely to be familiar with images of heroic scientists such as Einstein and Darwin, they rarely learn about the messy, day-to-day practice of science in which scientists are ordinary humans. Surprisingly, the process by which this imagination of science in education occurs has rarely been theorized. This is all the more remarkable since great thinkers tend to agree that the formation of... Researchers agree that schools construct a particular image of science, in which some characteristics are featured while others end up in ob... |
cena:
388,20 zł |
 |
Computational Semantics with Functional Programming
ISBN: 9780521760300 / Angielski / Twarda / 2010 / 422 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an...
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the...
|
cena:
475,78 zł |
 |
Liber Amicorum Alberti. A Tribute to Albert Visser
ISBN: 9781848902046 / Angielski / Miękka / 2016 / 252 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. During his scientific life Albert Visser has contributed to a great variety of disciplines in logic, ranging from provability logics, interpretability, and formal arithmetic to philosophy, linguistics and formal language semantics. This Liber Amicorum is in honour of his long and distinguised career, and nicely bears tribute to the diversity of Albert Visser's interests. Filled with contriubitons from his colleagues, the book illustrates the important role that Albert Visser plays and has played as a logician in the Netherlands and abroad.
During his scientific life Albert Visser has contributed to a great variety of disciplines in logic, ranging from provability logics, interpretability...
|
cena:
123,55 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
