Stretnutie 27. 2.

[crnkjck]

• Terminológia a symbolika:
  • [x] Ohodnotenie indivíduových premenných
  • [x] Symbol <var>e</var>
  • [x] Doména štruktúry: všade <var>M</var>, interpretácia: <var>i</var> (pridané 6. 3.)
  • [x] V interpretáciách symbolov a v ohodnotení dovoliť rovnaké identifikátory objektov ako v doméne
  • [x] Automatické číslovanie formúl a termov
  • [x] Menu pre určenie, či je formula splnená alebo nesplnená so zaužívaným symbolickým zápisom 𝓜 ⊨ 𝝋₁[e], 𝓜 ⊭ 𝝋₁[e] (poznámka 6. 3.: chýba [e]).
  • [x] Label pre menu s hodnotou termu: 𝝉₁^𝓜 = (pridané 6. 3., vrátane =).
  • [x] Doplniť labels a input-group-addons tak, aby vstupy pre množiny mali tvar M = { [vstup] } a vstupy pre prvky z domény i(symbol) = [vstup]
• Parser:
  • [x] Zlepšiť chybové správy parsera pomenovaním tried unikódových znakov
  • [x] Zrušiť pomenovanie pravidla pre "domain identifier", pretože sa tým zakrýva, aké znaky sú v ňom povolené (pridané 6. 3.)
  • [x] Ohodnotenie premenných parsovať ako zoznam dvojíc: ( identifikátor premennej , objekt domény )
• Prezentácia
  • [x] Input formuly je zelený, ak je správna syntax. Splnenie v štruktúre sa zobrazuje inde.