|
Jednoduchý programovatelný logický automat
VLNA, Martin
Cílem práce {\clqq}Jednoduchý programovatelný logický automat`` bylo vytvořit jednoduchý systém obsahující několik digitálních vstupů a výstupů, nad kterými bude možno programovat základní logické operace pomocí displeje, klávesnice a programovacího rozhraní systému. Jedná se o přiblížení k průmyslovému systému zvanému programovatelný logický automat (PLC).
|
|
Logická argumentace mezi agenty
Nevrkla, S. ; Peliš, Michal
Poznání jednotlivce je neustále dynamicky utvářeno nejen jeho kontaktem s 'neuvědomělou' přírodou, ale především jeho interakcí s ostatními poznávajícími subjekty. Tato interakce se odehrává v jazyce a často nabývá formy dialogu, jehož jedním druhem je argumentace (dalšími příbuznými druhy dialogu jsou např. vysvětlování, vyjednávání apod.). V argumentaci konfrontuje poznávající subjekt (agent) své znalosti a jejich opodstatnění se znalostmi a opodstatněními jiného agenta. Matematické modely pro zkoumání argumentace se pak zabývají pravidly, jakými je argumentace zpracovávána a vyhodnocována. Nás bude zajímat pouze argumentace založená na logických argumentech, jejichž závěr logicky vyplývá z premis.
|
| |
| |
| |
|
Logické hry a pravdivostní hodnoty
Majer, Ondrej
Formální teorie her umožňuje zkoumat logiku z netradičná perspektivy. Zkoumání pravdivosti určitého tvrzení lze chápat jako hru - formalizovanou polemiku dvou hráčů. Pravidla hry pak odpovídají logickému systému, v jehož rámci je tvrzení formulováno. Článek se zabývá vztahem mezi vlastnostmi logických her a dvoj resp. vícehodnotovosti odpovídajících logických systémů.
|
| |
| |
| |
| |