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:06]
vkuncak
sav08:logic_and_automata_introduction [2015/04/21 17:30] (current)
Line 17: Line 17:
  
 Compute the unary relation (set) corresponding to this formula $F(z)$: Compute the unary relation (set) corresponding to this formula $F(z)$:
-\[+\begin{equation*}
    ​\exists x. \exists y.\ z = 2 x + 1 \land z = 3 y + 2    ​\exists x. \exists y.\ z = 2 x + 1 \land z = 3 y + 2
-\]+\end{equation*}
 ++++| ++++|
 Add 6k to solution, we obtain a solution. \\ Add 6k to solution, we obtain a solution. \\