Počet záznamů: 1

Prague Bounded Arithmetic Workshop 2017

SYSNO ASEP	0488110
Druh ASEP	U - Uspořádání akce
Zařazení RIV	W - Uspořádání workshopu
Zařazení RIV	Není vybrán druh dokumentu
Název	Prague Bounded Arithmetic Workshop 2017
Tvůrce(i)	Thapen, Neil (MU-W)_{RID, SAI} Pudlák, Pavel (MU-W)_{RID, SAI}
Druh akce	W - Workshop
Datum konání	02.11.2017 - 03.11.2017
Místo konání	Prague
Země	CZ - Česká republika
Typ akce	WRD
Poč.účast.	30
Poč.účast.zahr.	19
Jazyk dok.	eng - angličtina
Klíč. slova	logic ; bounded arithmetic ; computational complexity
Vědní obor RIV	BA - Obecná matematika
Obor OECD	Pure mathematics
Institucionální podpora	MU-W - RVO:67985840
Anotace	Bounded arithmetic is an area in logic that is closely related to computational complexity. It studies weak fragments of Peano Arithmetic associated with complexity classes. The aim is to capture the reasoning that only uses concept of the corresponding computational complexity.
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	2018

Počet záznamů: 1