University | Singapore Institute of Management (SIM) |
Subject | CM2010 Fundamentals of Computer Science |
CM2010 Fundamentals of Computer Science, SIM, Singapore: Without using the truth table, prove if the following statements are tautologies or not
CM2010 Fundamentals of Computer Science: Midterm Coursework
1) Answer the following questions. Explain your reasoning:
a) Without using the truth table, prove if the following statements are tautologies or not. Show your reasoning. [4 marks]
i) ๐โ(๐ โถ ๐)โยฌ๐
ii) ((Pโq) โง ((qโงr)โs)) โง (rโ(Pโs))
b) Without using the truth table, show that the following statement is true: [2 marks]
ยฌ(โx[P(x)โงQ(x)])โกโx[P(x)โยฌQ(x)]
c) Negate the following statement: [2 marks]
โ๐: ๐ท(๐) โง [โ๐: (๐ธ(๐) โง ยฌ๐(๐ฑ))]
d) For the following statement, write down a logically equivalent statement that contains no operators other than ยฌ and โจ: [2 marks]
๐ท โง (๐ธ โ ๐น)
2) Using the pigeonhole principle, prove that if we choose 14 different numbers from the following set {1, 2, 3, 4,โฆ,20}, then definitely there are two numbers such as a and b (among our 14 selected numbers) which their difference is at least 7 (i.e. |a-b| โฅ7) [3 marks]
3) Prove the following statement by induction. For all positive integers n, prove ๐๐๐ โ ๐ is divisible by 7, State the mathematical induction and show your work clearly. [3 marks]
Hire a Professional Essay & Assignment Writer for completing your Academic Assessments
4) Students are required to create 6-character long passwords to access the library. The letters must be from lowercase letters or digits. Each password must contain at most two lowercase- letters and contains no repeated digits. The second letter must be always โ1โ and the last letter always must be a digit. How many valid passwords are there? You are required to show your work step-by-step. [4 marks]
Note: 1h032a is invalid because the second letter is not 1. 314g05 is valid because there is one lowercase letter, no digits are repeated, the second letter is 1 and the last letter is a digit.
5) Design a Finite State Automaton (FSA) that accepts binary numbers greater than 0, whose decimal equivalents are divisible by 5. For instance, the FSA should accept inputs like ‘1010’ (decimal equivalent: 10), and ‘101’ (decimal equivalent: 5), but it rejects inputs like ‘1101’ (decimal equivalent: 13) and ‘1001’ (decimal equivalent: 9). [4 marks]
6) Consider the following automaton:
a) Give an example of a string of length 6 containing 01 that is accepted by the following automaton. [2 marks]
b) Give an example of a string of length 5 that is rejected by the following automaton. [2 marks]
c) Describe the language of this automaton in terms of a Regular Expression. [3 marks]
d) Re-draw this FSA with at most 4 states. The new FSA should accept all strings that this FSA accepts. In addition, it should reject all strings that this FSA rejects. [2 marks]
e) Draw an FSA that accepts all binary strings that start with 0, the length of the string is even but the number of 1โs in the string is odd. For example, 0111, 01, and 000111 should be accepted while 111 and 0011 should not. [3 marks]
Buy Custom Answer of This Assessment & Raise Your Grades
Looking for Homework Help in Singapore? Our service offers the best assignment helpers for students at the Singapore Institute of Management (SIM). Specifically tailored for CM2010 Fundamentals of Computer Science, our experts can assist in proving whether statements are tautologies or not, bypassing the traditional use of truth tables. Let our professionals ease your academic loadโpay for expert guidance and excel in your courses.
Tags:-
- ELG101: Discovering Language Assignment, SUSS, Singapore: Speakers are creative users of the languages they speak. In our everyday interaction
- ELG101: Discovering Language Assignment, SUSS, Singapore: Demonstrate the articulation of the words in the above data set using the International Phonetic
- Principles of Project Management Individual Assignment, SUSS, Singapore: You are appointed a Project Manager in charge of organising and planning a project
- COR2223: Frontiers of Modern Computing Final Written Assignment, SMU, Singapore: Write a short story imagining a future scenario and how one or more of the modern computing technologies
- AC2101: Accounting Recognition and Measurement Assignment, NTU, Singapore: If NTU-C were to record the abovementioned transactions on 31 January, 28 February and 15 March 20×2
- BSE217: Motor Development, Control and Learning Assignment, SUSS, Singapore: Create a rating scale or categories of differentiation to rate the movement proficiencies of the individual
- BSE217: Motor Development, Control and Learning Assignment, SUSS, Singapore: Discuss the main theoretical foundations of Ecological Dynamics Theory
- NCO201: Learn To Learn, Learn For Life Tutor-Marked Assignment 2, SUSS, Singapore: Create a learning plan. Use this template to create your learning plan
- NCO201: Learn To Learn, Learn For Life Tutor-Marked Assignment 2, SUSS, Singapore: Self-reflection is a critical part of learning. By looking back at your process and analysing
- BPM301: LCC and Sustainable Design and Construction Assignment, SUSS, Singapore: A developer is building a new 3-storey sports complex on a 10-year leasehold land
UP TO 15 % DISCOUNT