Rekisteröidy

Ilmoitukset

Ladataan…

    Näytä kaikki

    FO ja kaavojen/lauseiden ekvivalenttius

    Hyvin lyhyt www-selailu ei antanut mitään, joten kysynpä täältä jos jollain olisi tietoa.

    Oppilaalle annetaan harjoitustehtäväksi työstää ensimmäisen kertaluvun predikaattilogiikan kaava (tai lause), joka täyttää annetut ehdot. Opettajalla on mallivastaus, joka sitten käydään harjoituksissa läpi. Kuitenkin oikeita vastauksia on luonnollisesti yleensä useampia.

    Onko mahdollista luoda tietokoneohjelma, joka saatuaan parametrina kaksi FO:n kaavaa (tai lausetta) tutkisi ovatko ne ekvivalentteja? Jos on mahdollista, niin onnistuuko vertailu järjellisessä ajassa?

    Tuollaisella ohjelmalla opiskelijat voisivat vertailla omia tuotoksiaan ennen palautusta mallivastaukseen (joka ei tietenkään näy). Olisi myös pop jos järjestelmä voisi antaa esimerkin tilanteesta, missä oppilaan vastaus ei toimi.
    1114
    Äänestä

    Muut lukivat myös

    Vastaukset 1

    Vanhimmat

    Joo, eipä tosiaan sellainen algoritmi ole mahdollinen.

    Triviaali juttu lopulta, mutta tulipa harjoiteteltua ruosteisia taitoja.

    Äänestä

    Odottaa vastausta

    Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.

    Luetuimmat keskustelut

    Kommentoi aloitusta

    ekkkvvi kirjoitti:

    Hyvin lyhyt www-selailu ei antanut mitään, joten kysynpä täältä jos jollain olisi tietoa.

    Oppilaalle annetaan harjoitustehtäväksi työstää ensimmäisen kertaluvun predikaattilogiikan kaava (tai lause), joka täyttää annetut ehdot. Opettajalla on mallivastaus, joka sitten käydään harjoituksissa läpi. Kuitenkin oikeita vastauksia on luonnollisesti yleensä useampia.

    Onko mahdollista luoda tietokoneohjelma, joka saatuaan parametrina kaksi FO:n kaavaa (tai lausetta) tutkisi ovatko ne ekvivalentteja? Jos on mahdollista, niin onnistuuko vertailu järjellisessä ajassa?

    Tuollaisella ohjelmalla opiskelijat voisivat vertailla omia tuotoksiaan ennen palautusta mallivastaukseen (joka ei tietenkään näy). Olisi myös pop jos järjestelmä voisi antaa esimerkin tilanteesta, missä oppilaan vastaus ei toimi.

    Anonyymi
    5000

    Ilmoita asiaton sisältö

    • Sisältää materiaalia, joka on loukkaavaa, herjaavaa, rasistista, uhkailevaa tai ahdistelevaa.

    • Materiaali sisältää nimiä, yhteystietoja tai muita henkilökohtaisia tietoja. Julkisuuden henkilöistä, julkisissa viroissa toimivista ihmisistä sekä yritysten vastuuhenkilöistä saa keskustella työhön liittyen. Myös yksityiselämään liittyvistä asioista voi keskustella siltä osin, kuin niistä on julkisesti kerrottu.

    • Sisältää lapsille haitallista tai heiltä kiellettyä materiaalia. Seksuaalinen sisältö on sallittua aiheeseen tarkoitetuilla palstoilla, joiden ikäraja on 18 vuotta.

    • Lainvastaista sisältöä voi olla mm. yksityiselämää loukkaavan tiedon levitys, kiihottaminen kansanryhmää vastaan, laiton uhkaaminen, alaikäisiin liittyvä seksuaalinen sisältö/grooming, petokset, identiteettivarkaudet, kunnianloukkaukset ja tekijänoikeusrikkomukset.

    • Sisältö ei liity palstan tai keskusteluketjun aiheeseen.

    • Viesti ei ole suomea tai ruotsia (pl. International Forums), se sisältää mainontaa, se sisältää tekijänoikeuksin suojattua materiaalia, se on massapostitus tai jokin muu syy.

    Jaa keskustelu