Halting Problem (16 results)

Condition: New.

Pamphlet. Condition: Very Good. Vol 14, No 4, pp. 677-682, Extracted from orig vol, thus begins with title page, trimmed & stapled pamphlet, else VG.

Condition: New. KlappentextFrom the back of the book: Should we really be doing this?That question will haunt you as you read The Halting Problem.After an uneventful career as a computer programmer, Brett Phillip.

Taschenbuch. Condition: Neu. Neuware - From the back of the book: Should we really be doing this That question will haunt you as you read The Halting Problem.After an uneventful career as a computer programmer, Brett Phillips has his life transformed by taking on a new challenge: becoming an Operator for Pixie, the first sentient General Artificial Intelligence program. With a looming deadline and a demanding Angel Investor calling the shots, Brett's personal life is upended in the cruelest way at the worst possible time.And something does not seem right with Pixie either.From the author: Do you like science fiction books with completely unrealistic technologies Awful storytelling Bland, uninteresting characters Do you like gigantic laser battles in space Stilted dialogue Predictable endings Galaxy-obliterating death weapons No Great! I don't either, and that means you may like my book, The Halting Problem. The Halting Problem is a contemporary science fiction book that explores real life issues with General Artificial Intelligence (GAI). The technology is probably a bit more advanced than currently known, but definitely realistic. The characters are interesting and well-written. There are no lasers or death weapons, but there is hot wax and an envelope dagger. Most of the book takes place in Chattanooga, TN which, as of April 2019, is not in outer space.This is no dystopian, sci-fi mega-tropey book either, which you may find odd, since most things suck nowadays. Instead, my story explores possible real-world issues with GAI, and what you will find is what I found; reality may end up being perfectly terrifying as well. The Halting Problem is part sci-fi, part dark comedy, part mystery, and part drama, with a sprinkling of existentialism throughout. - J.

Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In computability theory, the halting problem is a decision problem which can be stated as follows: given a description of a program, decide whether the program finishes running or will run forever. This is equivalent to the problem of deciding, given a program and an input, whether the program will eventually halt when run with that input, or will run forever. Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist. We say that the halting problem is undecidable over Turing machines. B. Jack Copeland attributes the actual term halting problem to Martin Davis. 88 pp. Englisch.

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In computer science, termination analysis attempts to determine whether the evaluation of a given program will definitely terminate. It is a form of program analysis that is related to the halting problem. Because the Halting Problem is undecidable, termination analysis cannot work correctly in all cases. The aim is to find the answer 'program does terminate' (or 'program does not terminate') whenever this is possible. Without success the algorithm (or human) working on the termination analysis may answer with 'maybe' or continue working infinitely long.

Taschenbuch. Condition: Neu. Liskov Substitution Principle | Object-oriented programming, Subtype polymorphism, Data type, Computer program, Barbara Liskov, Jeannette Wing, Design by contract, Halting problem | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133860711 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.

Taschenbuch. Condition: Neu. Collatz conjecture | Conjecture, Integer, Modular arithmetic, Pseudocode, Halting problem, Mertens conjecture, Skewes' number, Abstract machine, Tag system, Singly and doubly even, P-adic number | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130090043 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.

Taschenbuch. Condition: Neu. Halting Problem | Computability theory, Decision problem, Computer program, Alan Turing, Algorithm, Turing machine | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130821272 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.

Taschenbuch. Condition: Neu. Computability | Computability theory, Computer science, Mathematical logic, Turing machine, Automata theory, Hypercomputation, Computational complexity theory, Parallel computing, Halting problem | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130205133 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.

Taschenbuch. Condition: Neu. Termination Analysis | Computer Science, Computer Program, Program Analysis, Halting Problem, Mathematical Proof, Formal Verification, Total Correctness | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131155277 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.

Taschenbuch. Condition: Neu. Kolmogorov complexity | English language, Complexity, Turing completeness, Godel´s incompleteness theorems, Halting problem, Grammar induction, List of important publications in theoretical computer science | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130216870 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.