Computer Science: An Overview (12th Edition)
12th Edition
ISBN: 9780133760064
Author: Glenn Brookshear, Dennis Brylow
Publisher: PEARSON
expand_more
expand_more
format_list_bulleted
Concept explainers
Question
Chapter 11, Problem 50CRP
Program Plan Intro
Reasoning process:
The ability of mind to think in a logical way to achieve a goal state of any statement or start state called reasoning process.
Expert Solution & Answer
Want to see the full answer?
Check out a sample textbook solutionStudents have asked these similar questions
In "Computing Machines and Intelligence," the English mathematician Alan Turing (1912-1954) wrote,
"If each man had a definite set of rules of conduct by which he regulated his life, he would be a machine, but there are no such rules, so men cannot be machines."
Using what you now know about Logic, determine whether this statement make sense and explain. Construct a truth table for Turing's statement and determine if this statement is a tautology.
Logical and mathematical truths cannot be proven by science. Science presupposes logic and math; consequently, we must accept (trust?) that logic and mathematics express many truths, despite not being able in principle to ascertain those truths.
Notions such as there are other minds other than my own or the external world is real are rational beliefs, but they cannot be scientifically proven. Ethical beliefs and values are not scientifically provable. Aesthetic judgments, too, cannot be shown by science because the beautiful, like the good, cannot be scientifically proven. Furthermore, science itself cannot be justified by the scientific method.
Science is infused with assumptions that must be accepted but cannot be proven. For example, the special theory of relativity relies on the assumption that the speed of light is constant in a one-way direction between points A and B. But such a notion cannot be proven. We simply have to presuppose that notion in order to hold to the theory.…
Please Help with the question below:
Suppose you are given some facts in First-Order Logics:
a) Andi is a professor
b) All professors are people.
c) Ani is the dean.
d) All Deans are professors.
e) All professors consider the dean a friend or don’t know him.
f) Everyone is a friend of someone.
g) People only criticize people that are not their friends.
h) Andi criticized Ani.
Prove that: Ani is not Andi’s friend.
Chapter 11 Solutions
Computer Science: An Overview (12th Edition)
Ch. 11.1 - Prob. 1QECh. 11.1 - Prob. 2QECh. 11.1 - Prob. 3QECh. 11.1 - Prob. 4QECh. 11.1 - Prob. 5QECh. 11.2 - Prob. 1QECh. 11.2 - Prob. 2QECh. 11.2 - Prob. 3QECh. 11.2 - Prob. 4QECh. 11.2 - Identify the ambiguities involved in translating...
Ch. 11.2 - Prob. 6QECh. 11.2 - Prob. 7QECh. 11.3 - Prob. 1QECh. 11.3 - Prob. 2QECh. 11.3 - Prob. 3QECh. 11.3 - Prob. 4QECh. 11.3 - Prob. 5QECh. 11.3 - Prob. 6QECh. 11.3 - Prob. 7QECh. 11.3 - Prob. 8QECh. 11.3 - Prob. 9QECh. 11.4 - Prob. 1QECh. 11.4 - Prob. 2QECh. 11.4 - Prob. 3QECh. 11.4 - Prob. 4QECh. 11.4 - Prob. 5QECh. 11.5 - Prob. 1QECh. 11.5 - Prob. 2QECh. 11.5 - Prob. 3QECh. 11.5 - Prob. 4QECh. 11.6 - Prob. 1QECh. 11.6 - Prob. 2QECh. 11.6 - Prob. 3QECh. 11.7 - Prob. 1QECh. 11.7 - Prob. 2QECh. 11.7 - Prob. 3QECh. 11 - Prob. 1CRPCh. 11 - Prob. 2CRPCh. 11 - Identify each of the following responses as being...Ch. 11 - Prob. 4CRPCh. 11 - Prob. 5CRPCh. 11 - Prob. 6CRPCh. 11 - Which of the following activities do you expect to...Ch. 11 - Prob. 8CRPCh. 11 - Prob. 9CRPCh. 11 - Prob. 10CRPCh. 11 - Prob. 11CRPCh. 11 - Prob. 12CRPCh. 11 - Prob. 13CRPCh. 11 - Prob. 14CRPCh. 11 - Prob. 15CRPCh. 11 - Prob. 16CRPCh. 11 - Prob. 17CRPCh. 11 - Prob. 18CRPCh. 11 - Give an example in which the closed-world...Ch. 11 - Prob. 20CRPCh. 11 - Prob. 21CRPCh. 11 - Prob. 22CRPCh. 11 - Prob. 23CRPCh. 11 - Prob. 24CRPCh. 11 - Prob. 25CRPCh. 11 - Prob. 26CRPCh. 11 - Prob. 27CRPCh. 11 - Prob. 28CRPCh. 11 - Prob. 29CRPCh. 11 - Prob. 30CRPCh. 11 - Prob. 31CRPCh. 11 - Prob. 32CRPCh. 11 - Prob. 33CRPCh. 11 - What heuristic do you use when searching for a...Ch. 11 - Prob. 35CRPCh. 11 - Prob. 36CRPCh. 11 - Prob. 37CRPCh. 11 - Prob. 38CRPCh. 11 - Suppose your job is to supervise the loading of...Ch. 11 - Prob. 40CRPCh. 11 - Prob. 41CRPCh. 11 - Prob. 42CRPCh. 11 - Prob. 43CRPCh. 11 - Prob. 44CRPCh. 11 - Prob. 45CRPCh. 11 - Prob. 46CRPCh. 11 - Prob. 47CRPCh. 11 - Prob. 48CRPCh. 11 - Draw a diagram similar to Figure 11.5 representing...Ch. 11 - Prob. 50CRPCh. 11 - Prob. 51CRPCh. 11 - Prob. 52CRPCh. 11 - Prob. 53CRPCh. 11 - Prob. 54CRPCh. 11 - Prob. 55CRPCh. 11 - Prob. 56CRPCh. 11 - Prob. 57CRPCh. 11 - Prob. 1SICh. 11 - Prob. 2SICh. 11 - Prob. 3SICh. 11 - Prob. 4SICh. 11 - Prob. 5SICh. 11 - Prob. 6SICh. 11 - Prob. 7SICh. 11 - Prob. 8SICh. 11 - Prob. 9SICh. 11 - Prob. 10SICh. 11 - Prob. 11SICh. 11 - Prob. 12SICh. 11 - A GPS in an automobile provides a friendly voice...Ch. 11 - Prob. 14SI
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.Similar questions
- Suppose you are given some facts in First-Order Logics:a) kevin is a professorb) All professors are people.c) john is the dean.d) All Deans are professors.e) All professors consider the dean a friend or don’t know him.f) Everyone is a friend of someone.g) People only criticize people that are not their friends.h) kevin criticized john .Prove that: john is not kevin's friend.arrow_forward1) Moral skeptics challenge whether sound moral reasoning is possible. An extreme form of moral skepticism is called ethical subjectivism: Moral judgments merely express feelings and attitudes, not beliefs that can be justified or unjustified by appeal to moral reasons. The most famous version of ethical subjectivism is called emotivism: Moral statements are merely used to express emotions—to emote—and to try to influence other people’s behavior, but they are not supportable by valid moral reasons.19 What would ethical relativists say about ethical subjectivism? What should be said in reply to the ethical subjectivist?arrow_forwardThe Infinite Monkey Theorem states that a monkey hitting keys completely at random on a typewriter for an infinite amount of time will, eventually, type any given text. Even the complete works of William Shakespeare. Some quotes are truly amazing. Consider the famous quote, "BREVITY IS THE SOUL OF WIT" That's 26 amazing characters. Suppose a monkey is seated in front of a KEYBOARD WITH 28 CHARACTERS (one for each of the 26 letters in the alphabet, plus the space bar, and a comma). Suppose the monkey types only 26 characters completely at random. If X is the number of different 26 character strings it could have typed, then the chances that it typed the quote is one divided by X. What is X?arrow_forward
- (a) There is a Turing machine that decides the set Ø (b) There is a Turing machine that is not a decider and that recognizes the set Ø. (c) There is a Turing machine that decides the set Σ* (d) There is a Turing machine that is not a decider and that recognizes the set Σ*. (e) There is a Turing machine that decides the set {ww | w€ [*} (f) There is a Turing machine that is not a decider and that recognizes the set {www = [*}arrow_forward1 Which of the following is TRUE? Universal Turing Machines are made out of silicon. Universal Turing Machines can implement the procedures and follow the instructions of any Turing machine. Universal Turing Machines provide a method for proving any true mathematical theorem. Universal Turing Machines can compute functions that no other Turing machined can compute. 2 Turing says the question "Can a machine think?" is too vague and proposes that we replace this question with which of the following? Can a machine speak a language? Can a machine fool someone into thinking it is male or female? Can a machine fool someone into thinking it is alive? Can a machine successfully play the "imitation game"?arrow_forwardLogic and reason are at the heart of formal methods. Both propositional logic and Predicate Logic are widely used in the theoretical realm. An undergraduate who has studied discrete mathematics wonders whether there is any application of propositional and predicate logics to the process of vetting software. This mission asks you to help a pupil. One such direction would be to outline the benefits and drawbacks of both logic and its use to software testing. What is the best logic to use and how should it be implemented for formal programme verification?arrow_forward
- Would you be able to help me with question 3.4? I'm encountering some challenges with this specific problem and would highly value your guidance, as I'm uncertain about the necessary procedures. Could you please provide a comprehensive, step-by-step explanation leading to the solution, so I can understand the approach you took for solving the problem?arrow_forwardTURING MACHINEarrow_forwardCorrect answer will be upvoted else Multiple Downvoted. Computer science. one maneuver, the robot should move one cell to the left or right, given that it doesn't move beyond the field of play. As such, if the robot was in the cell I, it should move to either the cell i−1 or the cell i+1, as long as it lies among 1 and n (endpoints comprehensive). The cells, in the request they are visited (counting the cell the robot is set), together make a decent way. Every cell I has a worth computer based intelligence related with it. Let c0,c1,… ,ck be the succession of cells in a decent way in the request they are visited (c0 is the cell robot is at first positioned, c1 is the cell where the robot is after its first move, etc; all the more officially, ci is the cell that the robot is at after I moves). Then, at that point, the worth of the way is determined as ac0+ac1+⋯+ack. Your errand is to work out the amount of qualities over all conceivable great ways. Since this number can be…arrow_forward
- Formal Methods are based on logic reasoning. Conceptually the two most common logics are propositional logic and Predicate Logic. An undergraduate student who took a course of discrete mathematics is inquiring as to how propositional and predicate logics can be used in software testing. You are asked to guide this student in this quest. One pointer may consist in presenting the characteristics and limitations of both logic as well as their use as a mean for software testing. Which Logic is most adequate for formal verification of software and how this should be implemented?arrow_forwardWould you be able to help me with question 2.7 part B? I'm struggling with this problem and would really appreciate assistance in constructing a state diagram for the push-down automaton associated with part B. I've begun working on it using the photo provided, but I'm unsure why my attempt is incorrect. Could you please refer to the photo I used for this? I got the answer incorrect. it say, "incorrect: the string "a" is an example". I don't understand why the answer is incorrect. question for 2.7 2.7 Give informal English descriptions of PDAs for the language. B. The complement of the language {a^n b^n | n ≥ 0}arrow_forwardThe Sentence : " the negation of "if p then q" is logically equivalent to "p and not q .............................This can be restated symbolically as followsarrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
- Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill EducationStarting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSONDigital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
- C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSONDatabase Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage LearningProgrammable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education