Mathematical Logic

June 21, 2015 by Arjun Suresh 7 Comments

Syllabus

Propositional Logic; First Order Logic.

Book

Kenneth Rosen

Video

IITM video

Web Links

Predicate Logic Stanford

First Order Logic Waterloo

Good slides on Quantifiers

Previous Year Questions

http://gateoverflow.in/tag/mathematical-logic

Important Questions

http://gateoverflow.in/blog/15/important-questions-in-mathematical-logic

GATE CSE Discussions

2016

34,030 total views, 5 views today

GATE Overflow
Aptitude Overflow

Allen Career Institute: Algorithm

Which of the following is /are TRUE ? S1 : $n^{a} . n^{b} = 0$$((n^{a})^{b})$ for any a, b > 1 S2 [...]

Speed dis time

Rajesh traveled from home to school at 30 miles per hour. Then he returned home at 40 miles per hour [...]

Permutation

Find the no. of permutations of the letters of the word ‘REMAINS’ such that the vowels always occur [...]

Answered: Sequence

1 square is 1 so 1 is written once 2 square is 4 so 2 is written 4 times 3 square is 9 so 3 is writt [...]

Doubt Related to Gate2005-83a

https://gateoverflow.in/1405/gate2005-83a In above question can some one explain how Follow of E -→ [...]

Allen Career Institute:Compiler Design

Consider the following syntax directed definition A → BC C.i = f1(A . i) ….. I B.i = f2(A . s) … [...]

Answered: Which company had the widest range of share prices over the 5 years?

Which company had the widest range of share prices over the 5 years? Pilemin Airlines Share price ra [...]

GATE2019-2MARKS

"I read somewhere that in ancient times the prestige of a kingdom depended upon the number of t [...]

Answered: made easy cbt 1 2019

Let $s$ and $d$ be the original speed of train and total distance. Therefore, $\left ( 50/s \right ) [...]

Answered: Amcat

LCM of two Fractions is LCM of Numerators divided by GCD of Denominators. LCM of 147 and 30 is 1470 [...]

Answered: CAT2000-108

Answer -1192 To convert an integer to base b, divide it by b. The remainder is the ones place. conve [...]

Answered: CAT2001-21

5632 [...]

%d bloggers like this:

Skip links