Seminarium Katedry Matematyki Dyskretnej i Teoretycznych Podstaw Informatyki

Serdecznie zapraszamy pracowników i studentów na seminarium Katedry Matematyki Dyskretnej i Teoretycznych Podstaw Informatyki, które odbędzie się w piątek 24 listopada 2017r. o godzinie 8.00 w sali A1/6.

Prelegent:  Prof. Marek Zaionc (Katedra Podstaw Informatyki, Uniwersytet Jagielloński) Tytuł:  Asymptotic density in logic and computability


Streszczenie:

This talk presents numerous results from the area of quantitative  investigations in logic and computability. We present a quantitative analysis of random formulas or random lambda term or random combinatory logic terms. Our main goal is to investigate likelihood of semantic properties of random computational objects. For the given logical  calculus (or type theory or combinatory logic term) we investigate the proportion of the  number of  formulas (or types or terms) from the set A of a certain  length n to the number of all formulas of such length. We are  especially interested in asymptotic behavior of this fraction when  n tends to infinity. The limit \mu(A) if exists, is an  asymptotic probability of finding formula from the class A among all formulas or the asymptotic density of the set A.

 

Serdecznie zapraszam
Adam Doliwa


Poprzednie spotkania:

02.06.2017 - dr Katarzyna Grygiel (UJ) "O losowych programach i ich własnościach"
26.05.2017 - dr Mariusz Kwiatkowski (UWM) "SR-konstrukcja kodów liniowych"
05.05.2017 - dr Bożena Staruch (UWM), dr Bogdan Staruch (UWM) "Twierdzenia o rozkładzie algebr na algebry o szczególnych własnościach"
28.04.2017 - dr Bożena Staruch (UWM), dr Bogdan Staruch (UWM) "Wprowadzenie wymiaru algebry poprzez jej kratę kongruencji"
16.12.2016 - dr Aleksandra Kiślak-Malinowska, Typy i znaczenie zaimków względnych w terminach krotkowych gramatyk pregrup (TPGs) + sprawozdanie z knferencji LACL 2016 Logical Aspects of Computational Linguistics, Nancy 5-7.12.2016
12.04.2016 - dr hab. Artur Siemaszko, prof. UWM, Języki regularne, układy soficzne i układy skończonego typu (część 3)
05.04.2016 - dr hab. Artur Siemaszko, prof. UWM, Języki regularne, układy soficzne i układy skończonego typu (część 2)
22.03.2016 - dr hab. Artur Siemaszko, prof. UWM, Języki regularne, układy soficzne i układy skończonego typu (część 1)
12.01.2016 - prof. Adam Doliwa, Algebra Hopfa nieprzemiennych funkcji symetrycznych a języki bezkontekstowe
09.06.2015 - prof. Adam Doliwa, O charakteryzacji języków regularnych w terminach algebr Hopfa (część druga)
02.06.2015 - prof. Adam Doliwa, O charakteryzacji języków regularnych w terminach algebr Hopfa
26.05.2015 - dr Mariusz Kwiatkowski, O odległości kodów liniowych
19.05.2015 - dr Barbara Dziemidowicz-Gryz, O identyfikalności gramatyk kategorialnych minimalnych ze względu na pewne liniowe porządki.
12.05.2015 - prof. Adam Doliwa, Algebra Hopfa drzew Connesa-Kreimera a język Dycka (część druga)
05.05.2015 - dr Wojciech Zielonka (UWM), Języki bezkontekstowe a gramatyki Lambeka (część druga)
28.04.2015 - prof. Adam Doliwa (UWM), Algebra Hopfa drzew Connesa-Kreimera a język Dycka
21.04.2015 - dr Wojciech Zielonka (UWM), Języki bezkontekstowe a gramatyki Lambeka (część pierwsza)

ARCHIWUM