13. SFI / Propositions as Types / Philip Wadler

Published 2018-06-08

Download video MP4 360p

Recommendations

1:02:02

13. SFI /Jasnopis. Program do mierzenia zrozumiałości polskich tekstów / zespół z SWPS
42:43

"Propositions as Types" by Philip Wadler
59:03

Deja vu, fałszywe wspomnienia i pytania o tożsamość. Tajniki pamięci | prof. Tomasz Maruszewski
1:44:12

Prof. Krzysztof Meissner - "Czy cząstka Higgsa ma rodzeństwo?"
1:40:18

Rafał Ziemkiewicz: Świat się przepoczwarza. Każde zagrożenie jest szansą.O kompleksach i wspólnocie
51:48

Magia dawnej wsi - jacy byli, w co wierzyli i czego się bali nasi przodkowie? | prof. Katarzyna Smyk
1:01:49

Naukowy przewodnik po imprezie, czyli dlaczego alkohol zmienia nasze zachowanie? | dr P. Boguszewski
48:46

Łowcy-zbieracze – czy nasi przodkowie wiedli sielskie życie? | prof. Iwona Sobkowiak-Tabaka
1:12:20

Kryptografia kwantowa – jak fizyka chroni przed podsłuchami? | prof. Artur Ekert
56:11

Nafta w Galicji - zapomniana gorączka czarnego złota | prof. Paweł Grata, dr Bartosz Pasterski
58:50

Psychozy - czy podejrzliwość to zaburzenie psychiczne? | prof. Łukasz Gawęda
1:30:11

Fizyka cząstek elementarnych – przekraczanie granic poznania, Paweł Malecki
52:50

Adresowanie IP v4. Budowa adresów, obliczenia, podział na podsieci
59:42

Powrót człowieka na Księżyc – czym ryzykują współcześni astronauci? | dr Anna Fogtman
51:41

Horyzonty polskiego szlachcica - jak wyglądała edukacja w I Rzeczypospolitej? | dr Joanna Orzeł
51:02

Sztuczna inteligencja - jak działają sieci neuronowe i uczenie maszynowe? | prof. Piotr Szczuko
1:59:12

Testowanie granic teorii kwantowej, Piotr Wcisło
51:47

Testowanie Einsteina – czy Ogólna Teoria Względności ma konkurencję? | Prof. Piotr Jaranowski
59:10

Java - What Were They Thinking? / Cay Horstmann / 17. SFI
19:45

Tusk szuka każdego pretekstu, żeby zadrzeć z USA? | Salonik Polityczny 2/3

Similar videos