LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:logic_and_automata_introduction [2008/05/14 11:05]
vkuncak
sav08:logic_and_automata_introduction [2008/05/14 11:06]
vkuncak
Line 25: Line 25:
 Find solutions in set $\{0,​1,​2,​3,​4,​5\}$. \\ Find solutions in set $\{0,​1,​2,​3,​4,​5\}$. \\
  
-Resulting relation for $F(z)$ is $\{ 6k + 5 \mid k \in \mathbb{Z} \}$. \\+Resulting relation for $F(z)$ is $\{ 6k + 5 \mid k \in \mathbb{N} \}$. \\
  
 Representation as quantifier-free formula. \\ Representation as quantifier-free formula. \\