Wyniki wyszukiwania:
wyszukanych pozycji: 12
 |
Classical and New Paradigms of Computation and Their Complexity Hierarchies: Papers of the Conference Foundations of the Formal Sciences III
ISBN: 9781402027758 / Angielski / Twarda / 2005 / 260 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies.This volume will be of great...
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach compl...
|
cena:
783,57 zł |
 |
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
ISBN: 9789053563564 / Angielski / Miękka / 2008 / 362 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic--the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games--touching on research in logic,...
Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the v...
|
cena:
330,29 zł |
 |
Classical and New Paradigms of Computation and Their Complexity Hierarchies: Papers of the Conference Foundations of the Formal Sciences III
ISBN: 9789048167180 / Angielski / Miękka / 2010 / 260 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of... The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach co... |
cena:
783,57 zł |
 |
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics
ISBN: 9789048162338 / Angielski / Miękka / 2010 / 302 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of... "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguist... |
cena:
391,77 zł |
 |
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics
ISBN: 9781402011542 / Angielski / Twarda / 2003 / 302 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of... "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguist... |
cena:
391,77 zł |
 |
Models of Computation in Context: 7th Conference on Computability in Europe, Cie 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
ISBN: 9783642218743 / Angielski / Miękka / 2011 / 319 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40 per cent. The papers cover the topics: computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and, computational linguistics.
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011....
|
cena:
195,87 zł |
 |
Foundations of the Formal Sciences: The History of the Concept of the Formal Sciences: v. 4
ISBN: 9781904987291 / Angielski / Miękka / 2006 / 300 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This volume takes a reflective position with respect to the conference
series "Foundations of the Formal Sciences" (FotFS) and asks: * What are the Formal Sciences? * Can we develop a theoretical classification of the sciences that juxtaposes the formal sciences to the natural sciences, social sciences, and humanities? Can we do this solely by identifying common methodological features? * Can we identify changes of the notion of formal sciences over time? How were the areas that we now conceived as the "Foundations of the Formal Sciences" classified throughout history? Investigating the... This volume takes a reflective position with respect to the conference
series "Foundations of the Formal Sciences" (FotFS) and asks: * What ar... |
cena:
176,22 zł |
 |
60 Jahre DVMLG
ISBN: 9781848904118 / Angielski / Miękka / 2022 / 258 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
85,73 zł |
 |
Foundations of the Formal Sciences VII. Bringing Together Philosophy and Sociology of Science
ISBN: 9781848900493 / Angielski / Miękka / 2011 / 282 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Philosophy and sociology of science aim at understanding the workings of scientific endeavour. Despite their different emphasis and methodology, they deal with the same subject matter; and yet, they seem to be worlds apart. In the course of the last few decades, steps have been taken towards a (partial) reconciliation. The conference FotFS VII was part of this process, bringing sociological aspects into philosophy of science and philosophical aspects into sociology of science. Since the FotFS conference series focusses on the formal sciences, the conference had a certain, but non-exclusive...
Philosophy and sociology of science aim at understanding the workings of scientific endeavour. Despite their different emphasis and methodology, they ...
|
cena:
128,59 zł |
 |
Ordinal Definability and Recursion Theory
ISBN: 9781107033405 / Angielski / Twarda / 2016 / 552 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. Focusing on the subjects of 'HOD and its Local Versions' (Part V) and 'Recursion Theory' (Part VI), each of the two sections is preceded by an introductory survey putting the papers into...
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion T...
|
cena:
1037,40 zł |
 |
The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
ISBN: 9783642390524 / Angielski / Miękka / 2013 / 446 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. |
cena:
195,87 zł |
 |
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
ISBN: 9783642030727 / Angielski / Miękka / 2009 / 510 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009...
|
cena:
195,87 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
