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 02:57] pszwed [2020] |
tematy_prac_inzynierskich [2020/06/28 03:02] pszwed [4. Generacja i testy Negatywnych Baz Danych] |
||
|---|---|---|---|
| Line 75: | Line 75: | ||
| Język implementacji Python. | Język implementacji Python. | ||
| + | |||
| + | ==== 4. Generacja i testy Negatywnych Baz Danych ==== | ||
| + | |||
| + | Negatywne Bazy Danych (NDB) przechowują w jawnej postaci negatywną informację. Można to przeanalizować na przykładzie łańcucha bitów 101. Negatywna reprezentacja to oczywiście wyliczenie innych wariacji: 001,010, itd. Stosując symbole wieloznaczne może to być również 1*0, 0**, itp. Te dwie ostatnie specyfikacje są równoważne formule logicznej $b0\and!b2 \or !b0$. Znalezienie ciągu zdań (bitów) to zagadnienie SAT [[https:// | ||
| + | |||
| + | |||
| ===== 2019 ===== | ===== 2019 ===== | ||
