III PODLASKA KONFERENCJA MATEMATYKI

BIAŁYSTOK, 11-13 kwietnia 2008

Sekcja matematycznych podstaw informatyki

Wykłady i komunikaty

Grzegorz Bancerek
Struktura typów w języku matematyki

Anna Borowska
Redukcja wartościowań w algorytmach probabilistycznych poprzez grupowanie. Porównanie metod redukcji

Anna Gomolińska
O pewnych funkcjach inkluzji przybliżonej (abstrakt)

Adam Grabowski
O aksjomatyzacjach krat ortomodularnych w systemie Mizar (abstrakt)

Magdalena Jastrzębska
Formalny opis zbiorów przedziałowych

Joanna Karbowska-Chilińska

Średni czas obliczeń programów probabilistycznych z ciągłym parametrem czasowym

Agnieszka Makarec
Problem stopu w logikach programów niedeterministycznych i probabilistycznych (slajdy)

Hung Son Nguyen
Wnioskowanie Boolowskie i zastosowania w odkrywaniu wiedzy z danych

Zenon Sadowski
Optymalne systemy dowodowe i języki zupełne (abstrakt)

Marcin Wolski
Metryczne podstawy przestrzeni aproksymacyjnych (abstrakt)