Listing 1 - 10 of 78 | << page >> |
Sort by
|
Choose an application
Arithmetic --- -Mathematics --- Set theory --- Calculators --- Numbers, Real --- Philosophy --- Mathematics
Choose an application
Reason's Nearest Kin is a critical examination of the most exciting period there has been in the philosophical study of the properties of the natural numbers, from the 1880s to the 1930s. Reassessing the brilliant innovations of Frege, Russell, Wittgenstein, and others, which transformed philosophy as well as our understanding of mathematics, Michael Potter places arithmetic at the interface between experience, language, thought, and the world.
Arithmetic --- Mathematics --- Logic of mathematics --- Mathematics, Logic of --- Set theory --- Calculators --- Numbers, Real --- Philosophy.
Choose an application
The Principles of Computer Hardware, now in its third edition, provides a readable, tutorial based introduction to the subject for undergraduate computer scientists and engineers.
Electronic digital computers --- 681.3*B --- 681.3*B Hardware --- Hardware --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Computer architecture. Operating systems --- computers --- Calculators, Programmable --- Computer Hardware --- Computers, Digital --- Hardware, Computer --- Calculator, Programmable --- Computer --- Computer, Digital --- Digital Computer --- Digital Computers --- Programmable Calculator --- Programmable Calculators
Choose an application
Computers --- -Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Law and legislation --- -Computers --- -Law and legislation
Choose an application
Computer science --- Computers --- Computer software --- Ordinateurs --- Logiciels --- 681.3*I --- #WSCH:AAS2 --- Computing methodologies --- 681.3*I Computing methodologies --- Software, Computer --- Computer systems --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace
Choose an application
Computer architecture. Operating systems --- Computers --- Systems software --- 681.3*B --- 681.3*D2 --- Computer systems software --- System software --- Computer software --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Hardware --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computers. --- Systems software. --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*B Hardware
Choose an application
A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logic, or circuit theory. The computational power of such a model can be judged by evaluating certain problems with respect to that model. The theory of computations is the study of the inherent difficulty of computational problems, that is, their computational complexity. This monograph analyzes the computational complexity of the satisfiability, equivalence, and almost-equivalence problems with respect to various computational models. In particular, Boolean formulas, circuits, and various kinds of branching programs are considered.
Computational complexity --- Isomorphisms (Mathematics) --- Algebra --- Mathematics --- Physical Sciences & Mathematics --- Data processing --- Data processing. --- Complexity, Computational --- Computer science. --- Computers. --- Computer Science. --- Theory of Computation. --- Computation by Abstract Devices. --- Electronic data processing --- Machine theory --- Categories (Mathematics) --- Group theory --- Morphisms (Mathematics) --- Set theory --- Information theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
Our ontology as well as our grammar are, as Quine affirms, ineliminable parts of our conceptual contribution to our theory of the world. It seems impossible to think of enti ties, individuals and events without specifying and constructing, in advance, a specific language that must be used in order to speak about these same entities. We really know only insofar as we regiment our system of the world in a consistent and adequate way. At the level of proper nouns and existence functions we have, for instance, a standard form of a regimented language whose complementary apparatus consists of predicates, variables, quantifiers and truth functions. If, for instance, the discoveries in the field of Quantum Mechanics should oblige us, in the future, to abandon the traditional logic of truth functions, the very notion of existence, as established until now, will be chal lenged. These considerations, as developed by Quine, introduce us to a conceptual perspective like the "internal realist" perspective advocated by Putnam whose principal aim is, for cer tain aspects, to link the philosophical approaches developed respectively by Quine and Wittgenstein. Actually, Putnam conservatively extends the approach to the problem of ref erence outlined by Quine: in his opinion, to talk of "facts" without specifying the language to be used is to talk of nothing.
Cognitie --- Cognitieve wetenschap --- Cognition --- Cognitive science --- Sciences cognitives --- Wetenschap [Cognitieve ] --- Cognition. --- Cognitive science. --- Cognitive psychology. --- System theory. --- Computers. --- Artificial intelligence. --- Epistemology. --- Cognitive Psychology. --- Systems Theory, Control. --- Theory of Computation. --- Artificial Intelligence. --- Epistemology --- Theory of knowledge --- Philosophy --- Psychology --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Systems, Theory of --- Systems science --- Science --- Psychology, Cognitive
Choose an application
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out.
Computer systems --- Systèmes informatiques --- Verification. --- Vérification --- Verification --- Systèmes informatiques --- Vérification --- Computer organization. --- Software engineering. --- Computers. --- Artificial intelligence. --- Computational complexity. --- Computer Systems Organization and Communication Networks. --- Software Engineering. --- Computation by Abstract Devices. --- Artificial Intelligence. --- Complexity. --- Complexity, Computational --- Electronic data processing --- Machine theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers
Choose an application
Internet --- Intranets (Computer networks) --- Computers --- Cryptography. --- Intranets --- Cryptographie --- Security measures --- Access control. --- Sécurité --- Mesures --- -Computers --- -Cryptography --- #SBIB:033.AANKOOP --- #SBIB:309H1720 --- #SBIB:309H1015 --- Cryptanalysis --- Cryptology --- Secret writing --- Steganography --- Signs and symbols --- Symbolism --- Writing --- Ciphers --- Data encryption (Computer science) --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Internal internets (Computer networks) --- Business enterprises --- Wide area networks (Computer networks) --- Security measures. --- Access control --- Informatiekunde, informatie management --- Media: politieke, juridische, ethische, ideologische aspecten (incl. privacy) --- Computer networks --- Sécurité --- Cryptography --- Computer security
Listing 1 - 10 of 78 | << page >> |
Sort by
|