abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    dnes 01:22 | Nová verze Ladislav Hagara | Komentářů: 0
    dnes 00:55 | Zajímavý projekt

    PyXL je koncept procesora, ktorý dokáže priamo spúštat Python kód bez nutnosti prekladu ci Micropythonu. Podľa testov autora je pri 100 MHz približne 30x rýchlejší pri riadeni GPIO nez Micropython na Pyboard taktovanej na 168 MHz.

    vlk | Komentářů: 0
    včera 19:44 | Nová verze

    Grafana (Wikipedie), tj. open source nástroj pro vizualizaci různých metrik a s ní související dotazování, upozorňování a lepší porozumění, byla vydána ve verzi 12.0. Přehled novinek v aktualizované dokumentaci.

    Ladislav Hagara | Komentářů: 0
    včera 17:33 | Nová verze

    Raspberry Pi OS, oficiální operační systém pro Raspberry Pi, byl vydán v nové verzi 2025-05-06. Přehled novinek v příspěvku na blogu Raspberry Pi a poznámkách k vydání. Pravděpodobně se jedná o poslední verzi postavenou na Debianu 12 Bookworm. Následující verze by již měla být postavena na Debianu 13 Trixie.

    Ladislav Hagara | Komentářů: 0
    včera 05:33 | Komunita

    Richard Stallman dnes v Liberci přednáší o svobodném softwaru a svobodě v digitální společnosti. Od 16:30 v aule budovy G na Technické univerzitě v Liberci. V anglickém jazyce s automaticky generovanými českými titulky. Vstup je zdarma i pro širokou veřejnost.

    Ladislav Hagara | Komentářů: 13
    včera 03:55 | Komunita

    sudo-rs, tj. sudo a su přepsáné do programovacího jazyka Rust, nahradí v Ubuntu 25.10 klasické sudo. V plánu je také přechod od klasických coreutils k uutils coreutils napsaných v Rustu.

    Ladislav Hagara | Komentářů: 0
    6.5. 22:11 | Nasazení Linuxu

    Fedora se stala oficiální distribucí WSL (Windows Subsystem for Linux).

    Ladislav Hagara | Komentářů: 2
    6.5. 13:22 | IT novinky

    Společnost IBM představila server IBM LinuxONE Emperor 5 poháněný procesorem IBM Telum II.

    Ladislav Hagara | Komentářů: 1
    6.5. 04:55 | Nová verze

    Byla vydána verze 4.0 multiplatformního integrovaného vývojového prostředí (IDE) pro rychlý vývoj aplikaci (RAD) ve Free Pascalu Lazarus (Wikipedie). Přehled novinek v poznámkách k vydání. Využíván je Free Pascal Compiler (FPC) 3.2.2.

    Ladislav Hagara | Komentářů: 1
    6.5. 00:33 | Komunita

    Podpora Windows 10 končí 14. října 2025. Připravovaná kampaň Konec desítek (End of 10) může uživatelům pomoci s přechodem na Linux.

    Ladislav Hagara | Komentářů: 32
    Jaký filesystém primárně používáte?
     (57%)
     (1%)
     (8%)
     (22%)
     (4%)
     (2%)
     (3%)
     (1%)
     (1%)
     (3%)
    Celkem 549 hlasů
     Komentářů: 25, poslední včera 20:12
    Rozcestník

    Dotaz: Scheme - vlastní procedura

    22.10.2010 11:11 AlastorM
    Scheme - vlastní procedura
    Přečteno: 590×

    Vytvořte proceduru Implies, která bude realizovat pravdivostní funkci logické spojky implikace. Mělo by se to chovat následovně:
    > (implies #f #f)
    #t
    > (implies #f #t)
    #t
    > (implies #t #f)
    #f
    > (implies #t #t)
    #t

    Zkoušel jsem toto:
    (define implies (lambda (x y) (if (= x y) #t (and (= x #f)(= y #t)))))
    a při zadání (implies #f #f)
    vyskočí chyba  =: expects type <number> as 1st argument, given: #f; other arguments were: #f

    Pomůže někdo?


    Řešení dotazu:


    Odpovědi

    wamba avatar 22.10.2010 14:14 wamba | skóre: 38 | blog: wamba
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    že by eq? místo = ?

    PS. není lepší se spolehnout na logiku a vyjádřit implikaci pomocí not a or ?
    This would have been so hard to fix when you don't know that there is in fact an easy fix.
    22.10.2010 18:45 AlastorM
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    s tím eq? to funguje, ale jak to udělat s not a or ještě nevím...zkusím to a když to nepůjde, tak to nechám s tím eq? Jo a díky
    25.10.2010 10:49 pranvera
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    nevědeli byste jak použít "or a not" procedury, aby to melo stejnou funkčnost jako při " eq? "

    díky
    wamba avatar 25.10.2010 13:13 wamba | skóre: 38 | blog: wamba
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    This would have been so hard to fix when you don't know that there is in fact an easy fix.
    26.10.2010 10:01 pranvera
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    jo, tam už to vidím i já.

    (or ( not a)b)

    díky
    frEon avatar 22.10.2010 14:36 frEon | skóre: 40 | Praha
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    procedury v funkcionalnim jazyce, to jsou mi veci ;-)
    Talking about music is like dancing to architecture.
    Fluttershy, yay! avatar 19.10.2011 18:08 Fluttershy, yay! | skóre: 93 | blog:
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    Jo, říká se tomu tak.
    🇵🇸Touch grass🇺🇦 ✊ ani boha, ani pána
    17.10.2011 01:21 djmeff
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    takto to vypadá líp

    (define implies (lambda (a b) (if a b #t)))

    Založit nové vláknoNahoru

    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.