Skype Meeting 03052016 » History » Version 1
Antti Hyvärinen, 17/05/2016 18:16
| 1 | 1 | Antti Hyvärinen | h1. Skype Meeting 03/05/2016 |
|---|---|---|---|
| 2 | 1 | Antti Hyvärinen | |
| 3 | 1 | Antti Hyvärinen | Why we need combination of theories, multipication of non-constants |
| 4 | 1 | Antti Hyvärinen | |
| 5 | 1 | Antti Hyvärinen | Short Code example: |
| 6 | 1 | Antti Hyvärinen | t1 = x*y; |
| 7 | 1 | Antti Hyvärinen | x' = x; |
| 8 | 1 | Antti Hyvärinen | y'= y; |
| 9 | 1 | Antti Hyvärinen | t2 = x'*y'; |
| 10 | 1 | Antti Hyvärinen | assert(t1 != t2); |
| 11 | 1 | Antti Hyvärinen | |
| 12 | 1 | Antti Hyvärinen | Solution: t1 = f(x, y) |