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

 .... 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>>

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 ]

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


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......

How to Find Your Subject Study Group & Join.

Find Your Subject Study Group & Join.

+ Click Here To Join also Our facebook study Group.

This Content Originally Published by a member of VU Students.

+ Prohibited Content On Site + Report a violation + Report an Issue

+ Safety Guidelines for New + Site FAQ & Rules + Safety Matters

+ Important for All Members Take a Look + Online Safety

Views: 1486

See Your Saved Posts Timeline

Replies to This Discussion

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


hmmm :)

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.
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
Recommended Reading
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?





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?


Forum Categorizes

Job's & Careers (Latest Jobs)

Admissions (Latest Admissons)

Scholarship (Latest Scholarships)

Internship (Latest Internships)

VU Subject Study Groups

Other Universities/Colleges/Schools Help

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

Member of The Month

1. + ! ! ! ! ! ! ! ! !Bestie

Punjab, Pakistan

© 2019   Created by + M.Tariq Malik.   Powered by

Promote Us  |  Report an Issue  |  Privacy Policy  |  Terms of Service