154,99 zł

Mathematik Fur Informatiker

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundations>Mathematical logicKsiążki Obcojęzyczne>An...

0x0000284c00000000

Sklep: Gigant.pl

154,99 zł

Modellbildung Und Simulation

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundationsKsiążki Obcojęzyczne>Angielskie>Computing ...

0x001d0a3800000000

Sklep: Gigant.pl

732,61 zł

Concept Formation and Knowledge Revision Springer, Berlin

Książki / Literatura obcojęzyczna

A fundamental assumption of work in artificial intelligence and machine learning is that knowledge is expressed in a computer with the help of knowledge representations. Since the proper choice of such representations is a difficult task that fundamentally affects the capabilities of a system, the problem of automatic representation change is an important topic in current research. Concept Formation and Knowledge Revision focuses on representation change as a concept formation task, regarding concepts as the elementary representational vocabulary from which further statements are constructed.§Taking an interdisciplinary approach from psychological foundations to computer implementations, the book draws on existing psychological results about the nature of human concepts and concept formation to determine the scope of concept formation phenomena, and to identify potential components of computational concept formation models. The central idea of this work is that computational concept formation can usefully be understood as a process that is triggered in a demand-driven fashion by the representational needs of the learning system, and identify the knowledge revision activities of a system as a particular context for such a process. §The book presents a detailed analysis of the revision problem for first-order clausal theories, and develops a set of postulates that any such operation should satisfy. It shows how a minimum theory revision operator can be realized by using exception sets, and that this operator is indeed maximally general. The book then shows that concept formation can be triggered from within the knowledge revision process whenever the existing representation does not permit the plausible reformulation of an exception set, demonstrating the usefulness of the approach both theoretically and empirically within the learning knowledge acquisition system MOBAL. §In using a first-order representation, this book is part of the rapidly developing field of Inductive Logic Programming (ILP). By integrating the computational issues with psychological and fundamental discussions of concept formation phenomena, the book will be of interest to readers both theoretically and psychologically inclined. §From the foreword by Katharina Morik:§` The ideal to combine the three sources of artificial intelligence research has almost never been reached. Such a combined and integrated research requires the researcher to master different ways of thinking, different work styles, different sets of literature, and different research procedures. It requires capabilities in software engineering for the application part, in theoretical computer science for the theory part, and in psychology for the cognitive part. The most important capability for artificial intelligence is to keep the integrative view and to create a true original work that goes beyond the collection of pieces from different fields. §This book achieves such an integrative view of concept formation and knowledge revision by presenting the way§from psychological investigations that indicate that concepts are theories and point at the important role of a demand for learning. §to an implemented system which supports users in their tasks when working with a knowledge base §and its theoretical foundation. '

Sklep: Libristo.pl

935,89 zł

Matrix Logic and Mind North-Holland

Książki / Literatura obcojęzyczna

In this revolutionary work, the author sets the stage for the science of the 21st Century, pursuing an unprecedented synthesis of fields previously considered unrelated. Beginning with simple classical concepts, he ends with a complex multidisciplinary theory requiring a high level of abstraction. The work progresses across the sciences in several multidisciplinary directions: Mathematical logic, fundamental physics, computer science and the theory of intelligence. Extraordinarily enough, the author breaks new ground in all these fields. In the field of fundamental physics, the author reaches the revolutionary conclusion that physics can be viewed and studied as logic in a fundamental sense, as compared with Einstein's view of physics as space-time geometry. This opens new, exciting prospects for the study of fundamental interactions. A formulation of logic in terms of matrix operators and logic vector spaces allows the author to tackle for the first time, the intractable problem of cognition in a scientific manner.In the same way as the findings of Heisenberg and Dirac in the 1930s provided a conceptual and mathematical foundation for quantum physics, matrix operator logic supports an important breakthrough in the study of the physics of the mind, which is interpreted as a fractal of quantum mechanics. Introducing a concept of logic quantum numbers, the author concludes that the problem of logic and the intelligence code in general can be effectively formulated as eigenvalue problems similar to those of theoretical physics. With this important leap forward in the study of the mechanism of mind, the author concludes that the latter cannot be fully understood either within classical or quantum notions. A higher-order covariant theory is required to accommodate the fundamental effect of high-level intelligence. The landmark results obtained by the author will have implications and repercussions for the very foundations of science as a whole. Moreover, Stern's "Matrix Logic" is suitable for a broad spectrum of practical applications in contemporary technologies.

Sklep: Libristo.pl

1164,24 zł

Software Engineering Addison-Wesley Educational Publishers Inc

Książki / Literatura obcojęzyczna

For courses in computer science and software engineering The Fundamental Practice of Software Engineering Software Engineering introduces readers to the overwhelmingly important subject of software programming and development. In the past few years, computer systems have come to dominate not just our technological growth, but the foundations of our world's major industries. This text seeks to lay out the fundamental concepts of this huge and continually growing subject area in a clear and comprehensive manner. The Tenth Edition contains new information that highlights various technological updates of recent years, providing readers with highly relevant and current information. Sommerville's experience in system dependability and systems engineering guides the text through a traditional plan-based approach that incorporates some novel agile methods. The text strives to teach the innovators of tomorrow how to create software that will make our world a better, safer, and more advanced place to live.

Sklep: Libristo.pl

405,69 zł

Software Engineering, Global Edition PEARSON Education Limited

Książki / Literatura obcojęzyczna

For courses in computer science and software engineering The Fundamental Practice of Software Engineering Software Engineering introduces students to the overwhelmingly important subject of software programming and development. In the past few years, computer systems have come to dominate not just our technological growth, but the foundations of our world's major industries. This text seeks to lay out the fundamental concepts of this huge and continually growing subject area in a clear and comprehensive manner. The Tenth Edition contains new information that highlights various technological updates of recent years, providing students with highly relevant and current information. Sommerville's experience in system dependability and systems engineering guides the text through a traditional plan-based approach that incorporates some novel agile methods. The text strives to teach the innovators of tomorrow how to create software that will make our world a better, safer, and more advanced place to live.

Sklep: Libristo.pl

61,99 zł

Alan Turing's Systems Of Logic

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>History of mathematicsKsiążki Obcojęzyczne>Angielskie>Computing & ...

0x0159bb3b00000000

Sklep: Gigant.pl

259,99 zł

Introduction To Lattices And Order

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundations>Set theoryKsiążki Obcojęzyczne>Angielskie...

0x0134a6c300000000

Sklep: Gigant.pl

459,99 zł

Ddos Attacks

Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer securityKsiążki Obcojęzyczne>Angielskie>Mathematics & scien...

0x0080dfe600000000

Sklep: Gigant.pl

406,40 zł

Kurt Goedel: Collected Works Oxford University Press Inc

Książki / Literatura obcojęzyczna

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass.L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

Sklep: Libristo.pl

510,21 zł

Kurt Goedel: Collected Works: Volume III Oxford University Press Inc

Książki / Literatura obcojęzyczna

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass.L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

Sklep: Libristo.pl

1973,24 zł

Kurt Goedel: Collected Works: Volume I Oxford University Press Inc

Książki / Literatura obcojęzyczna

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass.L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

Sklep: Libristo.pl

489,41 zł

Guide to Deep Learning Basics Springer, Berlin

Książki / Literatura obcojęzyczna

This stimulating text/reference presents a philosophical exploration of the conceptual foundations of deep learning, presenting enlightening perspectives that encompass such diverse disciplines as computer science, mathematics, logic, psychology, and cognitive science. The text also highlights select topics from the fascinating history of this exciting field, including the pioneering work of Rudolf Carnap, Warren McCulloch, Walter Pitts, Bulcsú László, and Geoffrey Hinton. Topics and features: Provides a brief history of mathematical logic, and discusses the critical role of philosophy, psychology, and neuroscience in the history of AI Presents a philosophical case for the use of fuzzy logic approaches in AI Investigates the similarities and differences between the Word2vec word embedding algorithm, and the ideas of Wittgenstein and Firth on linguistics Examines how developments in machine learning provide insights into the philosophical challenge of justifying inductive inferences Debates, with reference to philosophical anthropology, whether an advanced general artificial intelligence might be considered as a living being Investigates the issue of computational complexity through deep-learning strategies for understanding AI-complete problems and developing strong AI Explores philosophical questions at the intersection of AI and transhumanism This inspirational volume will rekindle a passion for deep learning in those already experienced in coding and studying this discipline, and provide a philosophical big-picture perspective for those new to the field.

Sklep: Libristo.pl

65,99 zł

Logic Of Questions In The Wild. Inferential Erotetic Logic In Information Seeking Dialogue Modelling

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundations>Mathematical logicKsiążki Obcojęzyczne>An...

0x00c6e58100000000

Sklep: Gigant.pl

459,99 zł

Structural Analysis Of Non - Classical Logics

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundationsKsiążki Obcojęzyczne>Angielskie>Computing ...

0x0051b98d00000000

Sklep: Gigant.pl

szukaj w Kangoo krainaksiazek foundations of computer science 20042963

Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice

1. Sklepy z krainaksiazek foundations of computer science 20042963

2. Szukaj na wszystkich stronach serwisu

t1=0.032, t2=0, t3=0, t4=0.013, t=0.032