Łukasz Kamiński: strona autora

Łukasz Kamiński opowiada o teoriach, w których maszyna może rozstrzygnąć prawdziwość dowolnego twierdzenia

Łukasz Kamiński opisuje dylematy listonosza i pokazuje przykład szerokości grafowej