У нас вы можете посмотреть бесплатно 04 - Utsagnslogiske begreper или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Innholdoversikt: ==Kapittel 4 - Utsagnslogiske begreper== 1:25 Hva følger fra hva? 9:40 Definisjon av logisk konsekvens 15:44 Eksempler på logiske konsekvenser 31:05 Gyldige argumenter 42:56 Oppfyllbarhet 49:59 Falsifiserbarhet 54:47 Tautologi/gyldighet 57:38 Motsigelse/kontradiksjon 1:04:23 Symboler for sannhetsverdiene 1:13:20 Sammenhenger mellom begreper 1:18:49 Uavhengighet av formler Forelesningen ble holdt og tatt opp på direkten 2. september 2015 ved Institutt for informatikk, Universitetet i Oslo. Foreleser: Roger Antonsen. Kursansvarlige: Roger Antonsen og Andreas Nakkerud. Redigering: Håkon Salomonsen Møller.