Differences
This shows you the differences between two versions of the page.
| Both sides previous revision
Previous revision
Next revision
|
Previous revision
Next revision
Both sides next revision
|
tematy_prac_inzynierskich [2014/08/20 23:43]
pszwed |
tematy_prac_inzynierskich [2014/08/20 23:45]
pszwed [2014] |
| | |
| statement: | statement: |
| claim(Author,Source,proposition) | agree(Author,proposition) | disagree(Author,proposition) | | claim(Author,Source,proposition) | |
| agree_a(Author,Author)|disagree_a(Author,Author)|equivalent(proposition,proposition,Author,Source)| | agree(Author,proposition) | |
| thesis|definition | disagree(Author,proposition) | |
| | agree_a(Author,Author) | |
| | disagree_a(Author,Author) | |
| | equivalent(proposition,proposition,Author,Source) | |
| | thesis | |
| | definition |
| </code> | </code> |
| |
| ''proposition'' to złozone stwierdzenie składające się z prostych zdań ''statement''. Ich przykładowe typy to ''claim'', ''agree'', itd. Każdemu typowi będzie odpowiadała tabela w bazie danych. Kluczowym problemem jest opracowanie edytora, który np. będzie rozwijał dynamicznie drzewo... | ''proposition'' to złozone stwierdzenie składające się z prostych zdań ''statement''. Ich przykładowe typy to ''claim'', ''agree'', itd. Każdemu zdefiniowanemu typowi będzie odpowiadała tabela w bazie danych. Kluczowym problemem jest opracowanie edytora, który np. będzie rozwijał dynamicznie drzewo... |
| | |
| <!-- | <!-- |
