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 20:00 | Komunita

Spolek vpsFree.cz již potřetí zveřejnil statistiku linuxových distribucí běžících na jejich infrastruktuře. Nejpoužívanější je Debian s 50,4 %. Následuje Ubuntu s 25,6 % a CentOS s 13,6 %. Skokanem roku je Alpine Linux.

Ladislav Hagara | Komentářů: 0
dnes 18:33 | Zajímavý článek

Michal Špaček publikoval třetí číslo svého newsletteru věnovanému bezpečnosti, bezpečnému vývoji převážně webových aplikací a bezpečnosti uživatelů. Věnuje se v něm například také bezpečnostní chybě v ImageMagick.

Ladislav Hagara | Komentářů: 1
dnes 05:55 | Zajímavý projekt

V pátek byl představen projekt postmarketOS (GitHub). Cílem tohoto projektu je open source operační systém pro chytré telefony vycházející z optimalizovaného a nakonfigurovaného Alpine Linuxu s vlastními balíčky. Operační systém postmarketOS by měl podporovat 10letý životní cyklus chytrých telefonů.

Ladislav Hagara | Komentářů: 28
včera 23:44 | Nová verze

Byla vydána verze 0.4.5 svobodného operačního systému ReactOS. Z novinek lze zdůraznit podporu kancelářského balíku Microsoft Office 2010. Podrobnosti v ChangeLogu.

Ladislav Hagara | Komentářů: 8
včera 23:11 | Komunita

Linphone 4.0 pro desktop přichází. Vývojáři tohoto multiplatformního open source VoIP a SIP klienta postupně představují nové vlastnosti. Verze 4.0 bude postavena na Qt [reddit].

Ladislav Hagara | Komentářů: 0
27.5. 22:22 | Komunita

Dle plánu byl měl Debian 9 s kódovým názvem Stretch vyjít v sobotu 17. června. Po celém světě se začínají plánovat Release Parties. Oznámeno bylo vydání čtvrté RC (release candidate) verze instalátoru pro Debian 9 Stretch.

Ladislav Hagara | Komentářů: 5
26.5. 22:22 | Komunita

V Norimberku probíhá do neděle 28. května openSUSE Conference 2017. Na programu je celá řada zajímavých přednášek. Sledovat je lze online. K dispozici jsou také videozáznamy (YouTube) již proběhnuvších přednášek. Dění lze sledovat na Twitteru.

Ladislav Hagara | Komentářů: 0
26.5. 11:33 | IT novinky

Red Hat kupuje společnost Codenvy stojící za stejnojmenným webovým (cloudovým) integrovaným vývojovým prostředím (WIDE) postaveném na Eclipse Che.

Ladislav Hagara | Komentářů: 0
26.5. 08:55 | Nová verze

V listopadu 2014 byl představen fork Debianu bez systemd pojmenovaný Devuan. Po dva a půl roce jeho vývojáři oznámili vydání první stabilní verze 1.0. Jedná se o verzi s dlouhodobou podporou (LTS) a její kódové jméno je Jessie, podle planetky s katalogovým číslem 10 464.

Ladislav Hagara | Komentářů: 16
25.5. 20:22 | Zajímavý článek

Nadace Raspberry Pi vydala již osmapadesáté číslo (pdf) stostránkového anglicky psaného časopisu MagPi věnovanému Raspberry Pi a projektům postaveným na tomto jednodeskovém počítači a druhé číslo (pdf) časopisu Hello World primárně určeného pro učitele informatiky a výpočetní techniky.

Ladislav Hagara | Komentářů: 0
Chystáte se pořídit CPU AMD Ryzen?
 (6%)
 (32%)
 (1%)
 (8%)
 (44%)
 (8%)
Celkem 636 hlasů
 Komentářů: 62, poslední 19.5. 01:57
    Rozcestník

    Dotaz: Scheme - vlastní procedura

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

    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: 37 | 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: 37 | 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: 81 | blog:
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    Jo, říká se tomu tak.
    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.