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

42,658 total views, 2 views today

GATE Overflow
Aptitude Overflow

Answered: GATE2006-39

overflow in case of unsigned number *overflow is case of unsigned number occurred if carry is produc [...]

Answered: GATE2020-CS-41

We need to first find the indices of a & b, which takes time of log n + log n (Since it is Balan [...]

Answered: NIELIT 2017 Scientist B - Section B: 108

$A$ is correct. Work through some examples. Like $a*b=b*a=c$, $c*b=b*c=d$ and so on. It is not as [...]

Answered: NIELIT 2017 Scientist B - Section B: 107

$C$ is correct. No additional information like constants and effective address is mentioned in the [...]

Answered: NIELIT 2017 Scientist B - Section B: 99

$C$ is correct . There exist some context-free languages for which it is not possible to construct a [...]

Answered: NIELIT 2017 Scientist B - Section B: 97

$B$ (Only $S_{2}$) is correct as NDTM and a DTM are equivalent in power. For $S_{1}, $no matter how [...]

Answered: CAT2016: 82

Quadratic equation $:x^2 – (A – 3)x – (A – 2)\rightarrow(1)$ Let given quadratic equation have roots [...]

Answered: CAT2016: 73

$A(x, y) = x + y$ $M(x, y) = xy$ $S(x,y)= x-y$ $D(x,y)= \dfrac{x}{y}, y\neq 0$ $M(M(A(M(x, y), S(y, [...]

Answered: CAT2015: 82

Given that$:f( 0,y) = y+1\rightarrow(1)$ $f(x+1,0) = f( x, 1)\rightarrow(2)$ $f( x+1, y+1) = f\left( [...]

Answered: CAT2015: 79

Given that $:x^{2} + y^{2} = 0.1\rightarrow(1)$ and $\mid x-y \mid = 0.2\rightarrow(2)$ We know that [...]

Answered: CAT 2011: 4

Given that $:\begin{array}{}\;f_{n+1}(x)&=f_n(x)+1\;\text{if n is a multiple of 3}\\ &=f_n(x [...]

Answered: CAT2007-42

Ans (E). Since it asking a passenger has to pay for traveling by the shortest route from A to J. The [...]

%d bloggers like this:

Mathematical Logic

Syllabus

Book

Video

Web Links

Previous Year Questions

Important Questions

GATE CSE Discussions

Like this:

Related

Skip links

Syllabus

Book

Video

Web Links

Previous Year Questions

Important Questions

GATE CSE Discussions

Share this:

Like this:

Related