Game Semantics in Teaching of Classical First Order Predicate Logic to Students of Computer Science

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61384399%3A31140%2F18%3A00052953" target="_blank" >RIV/61384399:31140/18:00052953 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.matec-conferences.org/articles/matecconf/pdf/2018/69/matecconf_cscc2018_04007.pdf" target="_blank" >https://www.matec-conferences.org/articles/matecconf/pdf/2018/69/matecconf_cscc2018_04007.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1051/matecconf/201821004007" target="_blank" >10.1051/matecconf/201821004007</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Game Semantics in Teaching of Classical First Order Predicate Logic to Students of Computer Science

Popis výsledku v původním jazyce

Main topics of the document: game semantics; alternating quantification; restricted quantification

Název v anglickém jazyce

Game Semantics in Teaching of Classical First Order Predicate Logic to Students of Computer Science

Popis výsledku anglicky

Main topics of the document: game semantics; alternating quantification; restricted quantification

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

50301 - Education, general; including training, pedagogy, didactics [and education systems]

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

22nd International Conference on Circuits, Systems, Communications and Computers (CSCC 2018)

ISBN

—

ISSN

2261-236X

e-ISSN

2261-236X

Počet stran výsledku

4

Strana od-do

1-4

Název nakladatele

MATEC

Místo vydání

Les Ulis

Místo konání akce

Palma De Mallorka

Datum konání akce

14. 7. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—