IN1150 logiske metoder

Søk etter ressurser i IN1150 ...

Populære dokumenter

    Kort om emnet

    Dette er et emne i grunnleggende matematiske og logiske metoder. Det legges vekt på forståelse og tilvenning av matematiske begreper og notasjon som er relevante for et studium i informatikk. Emnet øver opp evnen til å tenke systematisk fra antakelser, løse teoretiske problemer, samt formalisere og gjennomføre matematiske resonnementer selv.

    Andre ressurser og kilder

    https://www.uio.no/studier/emner/matnat/ ifi/IN1150/#course_content
    https://mrieppel.github.io/fol/
    https://proofs.openlogicproject.org/
    http://teachinglogic.liglab.fr/DN/
    https://www.calculatorsoup.com/calculato rs/discretemathematics/
    https://www.erpelstolz.at/gateway/formul ar-uk-zentral.html
    https://graphonline.ru/en/
    https://www.mymathtables.com/calculator/ discretemath/power-set-calculator.html
    https://logiskemetoder.no/nettkurs/

    Top bidragsytere

    Finnfasit Founder

    Finnfasit Founder

    13 bidrag

    # 1