Diff for ''

Revision 37
Author:
black
Time:
2022-10-16 02:32
Revision 1
Time:
2024-06-13 22:18
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
<div style="background-color: #CEF; border: 1px solid #8AF; padding: 5px 5px 5px 5px; margin: 5px 5%;">
<small>
'''[[Státnice_-_Informatika_-_I2:_Softwarové_systémy|Státnice -- Softwarové systémy]]'''<br/>
''Složitost a vyčíslitelnost'' -- [[Státnice - Metody tvorby algoritmů_I2|Tvorba algoritmů (10🎓)]], [[Státnice - NP-úplnost_I2|NP-úplnost (15🎓)]], [[Státnice - Aproximační algoritmy a schémata_I2|Aproximační algoritmy (6🎓)]], [[Státnice - Algoritmicky vyčíslitelné funkce_I2|Vyčíslitelné funkce a rekurzivní množiny (8🎓)]], [[Státnice - Algoritmicky nerozhodnutelné problémy_I2|Nerozhodnutelné problémy (9🎓)]], [[Státnice - Věty o rekurzi_I2|Věty o rekurzi (6🎓)]]<br/>
''Datové struktury'' -- [[Státnice - Stromové vyhledávací struktury_I2|Stromy (32🎓)]], [[Státnice - Hašování_I2|Hašování (13🎓)]], [[Státnice - Třídění_I2|Třídění (10🎓)]]<br/>
''Databázové systémy'' -- '''[[Formální základy databázové technologie|Formální základy]]''': [[Formální základy databázové technologie/Relace|Relace (12🎓)]], [[Formální základy databázové technologie/Datalog|Datalog (9🎓)]], [[Formální základy databázové technologie/Ostatni|Ostatní (0🎓)]] &nbsp; '''[[Databázové modely a jazyky|Modely a jazyky]]''': [[Databázové modely a jazyky/SQL|SQL (7🎓)]], [[Databázové modely a jazyky/DIS|DIS (7🎓)]], [[Databázové modely a jazyky/Odborne|Odborné (3)]] &nbsp; '''[[Implementace databázových systémů|Implementace]]''': [[Implementace databázových systémů/Transakce|Transakce (5🎓)]], [[Implementace databázových systémů/Indexace|Indexace (10🎓)]], [[Implementace databázových systémů/Komprese|Komprese (3)]]<br/>
''Softwarové inženýrství'' -- [[Programovací jazyky a překladače|Programovací jazyky a překladače]], [[Objektově orientované a komponentové systémy|Objektově orientované a komponentové systémy]], [[Analýza a návrh softwarových systémů|Analýza a návrh softwarových systémů]]<br/>
''Systémové architektury'' -- [[Operační systémy (státnice)|Operační systémy]], [[Distribuované systémy|Distribuované systémy]], [[Architektura počítačů a sítí|Architektura počítačů a sítí]]<br/>
''Počítačová grafika'' -- [[Geometrické modelování a výpočetní geometrie|Geometrické modelování a výpočetní geometrie]], [[Analýza a zpracování obrazu, počítačové vidění a robotika|Analýza a zpracování obrazu, počítačové vidění a robotika]], [[2D počítačová grafika, komprese obrazu a videa|2D počítačová grafika, komprese obrazu a videa]], [[Realistická syntéza obrazu, virtuální realita|Realistická syntéza obrazu, virtuální realita]]<br/>
<br>
🎓 - znamená kolikrát byla otázka u státnic
</small>
</div>
# assert
Line 15: Line 3:
[[Category:Státnice - Softwarové systémy]] <{ForumPost(poster="LuKu", timestamp=2006-02-01 10:21:11)}>
Ahoj, potřebovala bych jednu drobnou radu ohledně Prologu (ještě pořád se patlám se zápočťákem :-(), tak doufám, že hledám na správném místě. Ve svém programu potřebuju přidávat slova do slovníku a odebírat je, ale když zkusím použít assert, vyplivne mi SWI-Prolog tohle:

 > ERROR: No permission to modify static_procedure `s/3'
 > ^ Exception: ( 8 ) assert(s(4, \[t,e,s,t], legenda))

Nevíte někdo, kde je problém? Předem díky za pomoc.
<{/ForumPost}>

<{ForumPost(poster="JJ", timestamp=2006-02-01 11:55:53)}>
Myslim ze je treba rict prologu ze s se bude menit takze nekam na zacatek zkus dat
  
:-dynamic(s/3).
  
snad to pomuze.
<{/ForumPost}>

<{ForumPost(poster="Almer", timestamp=2006-02-01 12:17:18)}>
Ano vim.
  
Problem je v tom, ze tu funkci mas uz pri consultovani zadanou. Takze on to bere jako staticke promenne. A ty nejde meni. Ja sem to treba vyresil tak, ze sme na zacatku programu udelal vec, ktera se jmenuje
  
:- assert(s(0,\[],hodnota)).
  
coz zbehne kdykoliv. a prida to dynamicky s/3 kluzuli...a pak muzes v pohode assertovat a retractovat jak chces.
<{/ForumPost}>

<{ForumPost(poster="LuKu", timestamp=2006-02-03 22:31:20)}>
Díky za rady, tenhle problém to vyřešilo. Bohužel se vzápětí objevil nový, který už mi hlava opravdu nebere. Začínám mít pocit, že své místo na čtvrteční zkoušce můžu klidně uvolnit :-(
<{/ForumPost}>

<{ForumPost(poster="Almer", timestamp=2006-02-03 23:52:14)}>
Co je to tentokrat?
<{/ForumPost}>

<{ForumPost(poster="LuKu", timestamp=2006-02-04 14:07:44)}>
Na dvou mistech jsem uspesne pridala retract a vse OK, kdyz ho ale pridam na treti misto, tak tvrdi, ze ma databazi slov prazdou, ackoli dana klauzule jeste ani neprobehla. To sice nechapu, ale asi je to stejne vedlejsi, rekla bych, ze hlavni problem toho programu je v pouzitem algoritmu, coz je vec, se kterou se musim poprat sama :-( Ale mozna bych to nemela videt tak katastroficky, koneckoncu, Hric tvrdil, ze nejake stopove mnozstvi terminu bude i po zkouskovem, takze cas jeste je, obzvlast, kdyz mi krome neproceduralka chybi uz jen zapoctovy program z OOP. Mozna, ze by se nasli i taci, kteri by se mnou menili. Kazdopadne diky za pomoc, snad to dal nejak zvladnu.
<{/ForumPost}>

<{ForumPost(poster="Hugo", timestamp=2006-02-04 14:59:55)}>

 > LuKu wrote:Ale mozna bych to nemela videt tak katastroficky, koneckoncu, Hric tvrdil, ze nejake stopove mnozstvi terminu bude i po zkouskovem, takze cas jeste je, obzvlast, kdyz mi krome neproceduralka chybi uz jen zapoctovy program z OOP.

Checht, tak zapoctak OOP nebo i-net ted fakt neresim, mozna tak za mesic, az snad budu ostatni splneno:)) Schazet jen neproc, to bych se ted tyden valel v lihu a po hospodach v horach s kamosema na chate..
Ale kdybys nahodou chtela ten termin uvolnit, dej mi pls vedet na icq, presne kdy :roll:
<{/ForumPost}>