1673068222

5 Wykład 18.03.2008

Głównie source w Haskellu...

6    Wykład 20.03.2008

Slajdy w PDF’ach i source w Haskellu...

7    Wykład 27.03.2008

7.1 Semantyka Denotacyjna

1. Rachunek predykatów formuł pierwszego rzędu

\P^::= R(ti,...,t_n) I -*p I (fil VIP2 I ipi Aip₂ | <P1 => <P2 | ¥>1 ■«=► ¥>2 | I t ::=x I

E = {7£i,/j} - sygnatura

2.    A. Tarski, 1934

[•]:T-A    [0] = 0eA

3.    Interpretacja zmiennych Niech A’ - zbiór zmiennych.

Interpretacja zmiennych: r]: X -*■ A - dowolne odwzorowanie

/ tU, = y(x)

\ [/(*!.....<n)], = /™(ltl]„....[t„],)

Skoro mamy termy, to możemy przejść do punktu „a co znaczą całe formuły?”:

9Jl= (N,l,+,<)

£ = {J,P,M}, gdzie i

p™=(+)

M^m = (<)

Wprowadzimy sobie specjalną relację (t=):

r/ N 9?    ( T) - „wartościowanie”)

7