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

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

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

Original language description

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

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

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

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2018

Confidentiality

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

Article name in the collection

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

ISBN

—

ISSN

2261-236X

e-ISSN

2261-236X

Number of pages

4

Pages from-to

1-4

Publisher name

MATEC

Place of publication

Les Ulis

Event location

Palma De Mallorka

Event date

Jul 14, 2018

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—