A Két Lámpás Csodálatos Barátai / Szezám Tárulj!: GÖDEL-CAFÉ - A Számítógépes Programtól A Matematikai Bizonyításig Tilos Rádió Heti podcast

Artwork

Társadalom Tilos Rádió

A tartalmat a Tilos Rádió biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Tilos Rádió vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

Tilos Rádió heti podcast « »
A Két Lámpás Csodálatos barátai / Szezám tárulj!: GÖDEL-CAFÉ - A számítógépes programtól a matematikai bizonyításig

1d ago 1:00:00

Megosztás

MP3•Epizód kép

A tartalmat a Tilos Rádió biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Tilos Rádió vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

Ebben az adásban Kaposi Ambrus típuselmélész lesz a vendégünk, aki az ELTE IK Programozási nyelvek és fordítóprogramok tanszékének docense. Megbeszéljük, hogy milyen informatikai és matematikai problémákra megoldás a típuselmélet, és hogy miért egyszerre programozási nyelv és a matematika alapjait is jól megadó keretrendszer a Martin-Löf-típuselmélet. Ezúttal is a kérdezők: Györgyi Anna villamosmérnök hallgató és Molnár Zoltán matematikai logikus.

Tracklista:

01. The Midnight - Kids (Prelude) (kezdődött: 00:00:43)

02. Hó Márton és a Jégkorszak - I'm a singer-songwriter (kezdődött: 00:34:25)

03. Rokazer - Syrma (Original Mix) (kezdődött: 00:59:26)

… continue reading

271 epizódok

#Társadalom #Tilos Rádió

Artwork

A Két Lámpás Csodálatos barátai / Szezám tárulj!: GÖDEL-CAFÉ - A számítógépes programtól a matematikai bizonyításig

Tilos Rádió heti podcast

18 subscribers

published 1d ago

Megosztás

MP3•Epizód kép

A tartalmat a Tilos Rádió biztosítja. Az összes podcast-tartalmat, beleértve az epizódokat, grafikákat és podcast-leírásokat, közvetlenül a Tilos Rádió vagy a podcast platform partnere tölti fel és biztosítja. Ha úgy gondolja, hogy valaki az Ön engedélye nélkül használja fel a szerzői joggal védett művét, kövesse az itt leírt folyamatot https://hu.player.fm/legal.

Ebben az adásban Kaposi Ambrus típuselmélész lesz a vendégünk, aki az ELTE IK Programozási nyelvek és fordítóprogramok tanszékének docense. Megbeszéljük, hogy milyen informatikai és matematikai problémákra megoldás a típuselmélet, és hogy miért egyszerre programozási nyelv és a matematika alapjait is jól megadó keretrendszer a Martin-Löf-típuselmélet. Ezúttal is a kérdezők: Györgyi Anna villamosmérnök hallgató és Molnár Zoltán matematikai logikus.

Tracklista:

01. The Midnight - Kids (Prelude) (kezdődött: 00:00:43)

02. Hó Márton és a Jégkorszak - I'm a singer-songwriter (kezdődött: 00:34:25)

03. Rokazer - Syrma (Original Mix) (kezdődött: 00:59:26)

… continue reading

271 epizódok

#Társadalom #Tilos Rádió

Minden epizód

×

Üdvözlünk a Player FM-nél!

A Player FM lejátszó az internetet böngészi a kiváló minőségű podcastok után, hogy ön élvezhesse azokat. Ez a legjobb podcast-alkalmazás, Androidon, iPhone-on és a weben is működik. Jelentkezzen be az feliratkozások szinkronizálásához az eszközök között.

Hallgasson 500+ témát

Hallgassa ezt a műsort, miközben felfedezi