.... How to Find Your Subject Study Group & Join ....   .... Find Your Subject Study Group & Join ....

We are here with you hands in hands to facilitate your learning & don't appreciate the idea of copying or replicating solutions. Read More>>

www.vustudents.ning.com

Study Groups By Subject code Wise (Click Below on your university link & Join Your Subject Group)

[ + VU Study Groups Subject Code Wise ]  [ + COMSATS Virtual Campus Study Groups Subject Code Wise ]

Looking For Something at vustudents.ning.com? Search Here

# MTH202 - Discrete Mathematics Graded Discussion Board (GDB) NO.1 Solution and Discussion Fall 2013 Due Date: February 20, 2014

MTH202 - Discrete Mathematics Graded Discussion Board (GDB) NO.1 Solution and Discussion Fall 2013 of Virtual University (VU) Due Date: February 20, 2014

GDB

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

Instructions:

Lectures covered: (01 - 40)

(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

e-mail.

(8) Properly prepare yourself about the topic using books or any source

available to you.

Views: 1470

### Replies to This Discussion

Here is a very good book which is providing complete concept for this "GDB"

Attachments:

hmmm :)

Logic in Computer Science

Background
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.
Basic Information
Instructor: Moshe Y. Vardi
Duncan Hall 3057 (ext. 5977), vardi@cs.rice.edu
Office Hours: by request
TA: Sumit Nain
Duncan Hall 3060, sn4517@cs.rice.edu
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.
Device Policy
A closed-laptop rule during lecture will be enforced. All other communication devices will need
to be on “silent” mode during lecture.
Special Accommodations
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?

 Solution: 5* 4* 3 = 60

 Find the greatest common division for the following pair of integer: 30,105 2marks Solution: 1.Divide 105 by 30: This gives 105 = 30 * 5 +0 Hence gcd (105,30) = 30

kya discussion hoti hai?

## Latest Activity

Muhammad Rafiq Ullah, Atif Mehmood, isma and 8 more joined Virtual University of Pakistan
21 minutes ago
Riya MaLuttOo updated their profile
58 minutes ago
Junaid Yawar joined + M.TariK MaliC's group

### FIN622 Corporate Finance

1 hour ago
Junaid Yawar joined + M.TariK MaliC's group

### FIN621 Financial Statement Analysis

1 hour ago
Junaid Yawar joined + M.TariK MaliC's group

### ECO401 Economics

1 hour ago
Junaid Yawar joined + M.TariK MaliC's group

### CS507 Information Systems

1 hour ago
Pagal posted a discussion

### The Ultimate Remedy

1 hour ago
+ mR_ChiLL updated their profile
1 hour ago

## Forum Categorizes

Job's & Careers (Latest Jobs)

Scholarship (Latest Scholarships)

Internship (Latest Internships)

::::::::::: More Categorizes :::::::::::

1

2

3

4

5

Lahore, Pakistan