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 [2020/06/28 03:10] pszwed [4. Generacja i testy Negatywnych Baz Danych] |
tematy_prac_inzynierskich [2020/06/28 03:50] pszwed [2020] |
||
---|---|---|---|
Line 12: | Line 12: | ||
===== 2020 ===== | ===== 2020 ===== | ||
- | | + | |
- | | + | |
- | | + | |
- | | + | |
+ | -Analiza antyplagiatowa kodu | ||
==== 1. Map matching ==== | ==== 1. Map matching ==== | ||
Zarezerwowane jako implementacja w Pythonie? :?: | Zarezerwowane jako implementacja w Pythonie? :?: | ||
Line 82: | Line 83: | ||
Te dwie ostatnie specyfikacje są równoważne formule logicznej | Te dwie ostatnie specyfikacje są równoważne formule logicznej | ||
- | $b_0\wedge \neg b_2 \lor \neg b_0$. | + | $f=b_0\wedge \neg b_2 \lor \neg b_0$. |
- | Znalezienie ciągu zdań (bitów) to zagadnienie | + | Znalezienie ciągu zdań (bitów), dla których formuła jest prawdziwa |