We are here with you hands in hands to facilitate your learning & don't appreciate the idea of copying or replicating solutions. Read More>>
MTH202 - Discrete Mathematics Graded Discussion Board (GDB) NO.1 Solution and Discussion Fall 2013 of Virtual University (VU) Due Date: February 20, 2014
The Topic for Graded Discussion Board is
“USE OF LOGIC IN THE FIELD OF COMPUTER SCIENCES.”
Opening Date of Graded Discussion Board: 18th February 2014 at 12:00am
Closing Date of Graded Discussion Board: 20th February 2014 at 11:59pm
Lectures covered: (01 - 40)
(1) Post your comments on Graded MDB & not on Regular Lecture MDB.
(2) Do not use the symbols of math type and avoid figures.
(3) Zero marks will be given to Copied or Irrelevant comments.
(4) The comments should be clear and to the point.
(5) Do not participate in the discussion more than once.
(6) No extra time will be given for discussion.
(7) You can not participate in the discussion after due date or through
(8) Properly prepare yourself about the topic using books or any source
available to you.
Share This With Friends......
Here is a very good book which is providing complete concept for this "GDB"
Logic in Computer Science
Logic has been called “the calculus of computer science”. The argument is that logic plays
a fundamental role in computer science, similar to that played by calculus in the physical
sciences and traditional engineering disciplines. Indeed, logic plays an important role in areas of
Computer Science as disparate as architecture (logic gates), software engineering (specification
and verification), programming languages (semantics, logic programming), databases (relational
algebra and SQL), artificial intelligence (automatic theorem proving), algorithms (complexity
and expressiveness), and theory of computation (general notions of computability).
COMP 409 provides the student with a thorough introduction to mathematical logic, covering
in depth the topics of syntax, semantics, decision procedures, formal systems, and definability
for both propositional and first-order logic. The goal is to prepare the students for using
logic as a formal tool in computer science.
Instructor: Moshe Y. Vardi
Duncan Hall 3057 (ext. 5977), firstname.lastname@example.org
Office Hours: by request
TA: Sumit Nain
Duncan Hall 3060, email@example.com
Office Hours: Tu: 2:30am - 4:00pm, Th: 2:30pm - 4:00pm
Textbook: Sch¨oning: Logic for Computer Scientists, Birkhauser, 2008
(the book is optional; lecture notes will be posted on the course website).
Prerequisites: COMP 280 or instructor’s permission
M. Gardner: Logic Machines and Diagrams, 1982
A. Feferman: Politics, Logic, and Love: the life of Jean Van Heijenoort, 1993
M. Davis: The Universal Computer: The Road from Leibniz to Turing , 20s1.
There will be two take-home, open-book exams: a mid-term exam and a final exam, as well as
periodical problem sets, and a programming project. Each test accounts for 35% of the final
grade, the problem sets account for 20% of the final grade, and the programming project accounts
for 10% of the final grade. Class attendance is not required, but classroom participation
will be used to determine boundary cases. All problem sets will be assigned to pairs of students;
you will learn more that way. Effort counts more than success on the problem sets. Without,
however, doing the problem sets diligently, you have little chance of doing well on the tests.
Problem sets and final project must be typeset in LaTeX. Students are expected to adhere to
Rice’s Honor Code.
A closed-laptop rule during lecture will be enforced. All other communication devices will need
to be on “silent” mode during lecture.
Any student with a disability requiring accommodations in this class is encouraged to contact
me after class or during office hours. Alternatively, students could contact the Coordinator for
Disabled Student Services in the RMC Cloisters.
ye ans kesy aya hai koi bta de plzzzzz
How many 3-digits can be formed by using each one of the digits 2,3,5,7,9 only once?
5* 4* 3 = 60
Find the greatest common division for the following pair of integer: 30,105 2marks
1.Divide 105 by 30:
This gives 105 = 30 * 5 +0
Hence gcd (105,30) = 30
kya discussion hoti hai?