Filtra per genere
INF1080 – Logiske metoder for informatikk (kun lyd)
Institutt for informatikk, Universitetet i Oslo
Sottoscrivi
Dette er lydopptak av forelesningene i INF1080 – Logiske metoder for informatikk, et kurs i grunnleggende matematiske og logiske metoder som holdes ved Institutt for informatikk, Universitetet i Oslo. Det legges vekt på forståelse og tilvenning av matematiske begreper og notasjon som er relevante for et studium i matematikk og informatikk. Kurset øver opp evnen til å tenke systematisk fra antakelser, løse teoretiske problemer, samt formalisere og gjennomføre matematiske resonnementer selv. Læreboken som benyttes i kurset er «Logiske metoder – Kunsten å tenke abstrakt og matematisk» utgitt på Universitetsforlaget (2014): http://www.universitetsforlaget.no/nettbutikk/logiske-metoder.html Foredragsholder og kursansvarlig er Roger Antonsen.
27 - Kapittel 24 forts. og avslutning
0:00 / 0:00
1x
- 27 - Kapittel 24 forts. og avslutningTue, 25 Nov 2014 - 1h 18min
- 26 - Kapittel 23 forts. og Kapittel 24Thu, 20 Nov 2014 - 1h 19min
- 25 - Kapittel 22 forts. og Kapittel 23Tue, 18 Nov 2014 - 1h 23min
- 24 - Kapittel 21 forts. og Kapittel 22Tue, 11 Nov 2014 - 1h 22min
- 23 - Kapittel 21Thu, 06 Nov 2014 - 1h 23min
- 22 - Kapittel 20Tue, 04 Nov 2014 - 1h 24min
- 21 - Kapittel 19Thu, 30 Oct 2014 - 1h 15min
- 20 - Kapittel 18Tue, 28 Oct 2014 - 1h 28min
- 19 - Kapittel 16 forts. og Kapittel 17Thu, 23 Oct 2014 - 1h 23min
- 18 - Repetisjon 1Tue, 21 Oct 2014 - 1h 23min
- 17 - Kapittel 15 forts. og Kapittel 16Thu, 16 Oct 2014 - 1h 11min
- 16 - Kapittel 15Tue, 14 Oct 2014 - 1h 27min
- 15 - Kapittel 13 forts. og Kapittel 14Thu, 09 Oct 2014 - 1h 01min
- 14 - Kapittel 13Tue, 07 Oct 2014 - 1h 26min
- 13 - Kapittel 11 forts. og Kapittel 12Thu, 02 Oct 2014 - 1h 24min
- 12 - Kapittel 10 forts. og Kapittel 11Tue, 30 Sep 2014 - 1h 24min
- 11 - Kapittel 9 forts. og Kapittel 10Thu, 25 Sep 2014 - 1h 23min
- 10 - Kapittel 9Thu, 18 Sep 2014 - 1h 26min
- 9 - Kapittel 7 forts. og Kapittel 8Tue, 16 Sep 2014 - 1h 28min
- 8 - Kapittel 6 rep. og Kapittel 7Thu, 11 Sep 2014 - 1h 26min
- 7 - Kapittel 5 rep. og Kapittel 6Tue, 09 Sep 2014 - 1h 29min
- 6 - Kapittel 5Thu, 04 Sep 2014 - 1h 26min
- 5 - Kapittel 3 forts. og Kapittel 4Tue, 02 Sep 2014 - 1h 24min
- 4 - Kapittel 2 forts. og Kapittel 3Thu, 28 Aug 2014 - 1h 21min
- 3 - Kapittel 1 forts. og Kapittel 2Tue, 26 Aug 2014 - 1h 28min
- 2 - Kapittel 0 og Kapittel 1Thu, 21 Aug 2014 - 1h 28min
- 1 - Introduksjon og oversiktTue, 19 Aug 2014 - 1h 27min
Mostra altri episodi
5Podcast simili a <nome>
- Forklart Aftenposten
- AksjeSladder AksjeSladder
- AVHØRT Batong Media og Bauer Media
- Langkjøring med Geir Schau Bauer Media
- Morgenklubben med Loven & Co Bauer Media
- Relasjonspodden Bauer Media
- På innsiden av psychohoder Bauer Media og Monster
- Dine Penger - Pengerådet Dine Penger
- Børsmorgen & Økonominyhetene Finansavisen
- HENLAGT - Espen Lee & Andy Larsgaard Henlagt AS
- Siri og de gode hjelperne KLYNGE og Bauer Media
- Leger om livet Lege Annette Dragland & Acast
- Uforklarlig med Lilli Bendriss Lyder Produksjoner
- Hjernesterk Moderne Media
- Frokostshowet på P5 P4-gruppen
- Misjonen med Antonsen og Golden P4-gruppen
- P4s Radiofrokost P4-gruppen
- Jan Thomas og Einar blir venner PLAN-B & Acast
- ForsvinningsFredag Podkast Sara Høydahl og Bauer Media
- Synnøve og Vanessa Vanessa Rudjord & Synnøve Skarbø
- Krimpodden VG
- Viaplay Premier League Pod Viaplay
Altri podcast di Formazione Scolastica
- Historier Som Endret Norge Gjenklang & Acast
- Mysterier fra Norge NRK
- Historier Som Endret Verden Gjenklang & Acast
- Historiska brott historiskabrott
- Мужчина. Руководство по эксплуатации Радио «Маяк»
- Historiepodden Acast
- Learn Spanish: Notes in Spanish Inspired Beginners Ben Curtis and Marina Diez
- Historia.nu med Urban Lindstedt Historiska Media | Acast
- Destinasjon Glede med Bjørg Thorhallsdottir
- Konspirationsteorier Viviann Le & Aida Engvall
- Bevissthetspodden Magasinet Medium
- La Verdadera Historia de México URUZ RADIO
- Radio Naukowe Radio Naukowe - Karolina Głowacka
- Przemek Górczyk Podcast Przemek Górczyk
- Henrettelsespodden Moderne Media og Untold
- Jakt- og fiskepodden Statskog SF
- Undersåttene Ole-Jørgen Schulsrud-Hansen
- Annekset - En podcast med Hverdagscoach Anneli Amodei Anneli Amodei
- Hanna & de heldige Vrang produksjon
- LA MASKEN FALLE Mai Camilla Munkejord