abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    včera 10:49 | IT novinky

    Světem se valí vlna BSOD počítačů s operačním systémem Windows v kombinaci s bezpečnostním agentem CrowdStrike. Částečně jsou ochromeny letiště, banky, burzy, Microsoft Cloud apod. Zatím je znám jen workaround v podobě nabootování do recovery režimu a smazání jednoho souboru.

    karkar | Komentářů: 82
    18.7. 23:44 | Komunita

    Nezisková organizace Apache Software Foundation (ASF) oznámila, že se částečně přestane dopouštět kulturní apropriace a změní své logo a brand. Minimálně z loga odstraní indiánské pírko. Nové logo a brand představí na své konferenci Community Over Code v říjnu letošního roku. Ta byla ještě nedávno známá jako ApacheCon.

    Ladislav Hagara | Komentářů: 47
    18.7. 19:00 | Nová verze

    Sound Open Firmware, projekt Linux Foundation, open source audio DSP firmware a SDK, byl vydán ve verzi 2.10.0. Podrobný přehled novinek na GitHubu.

    Ladislav Hagara | Komentářů: 1
    18.7. 10:33 | Komunita

    Společnost Nvidia na svém technickém blogu informuje o přechodu na open source moduly jádra pro GPU (představila je v květnu 2022). Na nejnovějších platformách Grace Hopper nebo Blackwell lze používat pouze open source moduly. Pro Turing, Ampere, Ada Lovelace nebo Hopper se doporučuje přejít na open source moduly, v oficiálním instalátoru si lze vybrat mezi proprietárním a open source modulem. Nejstarší Maxwell, Pascal nebo Volta vyžadují proprietární ovladače.

    Ladislav Hagara | Komentářů: 0
    18.7. 00:11 | Zajímavý článek

    Příspěvek na blogu společnosti Wiz se podrobně věnuje dnes již opraveným zranitelnostem v SAP AI. Útočník si mohl změnit své UID na UID firewallu, tj. 1337, a tím obejít firewall, …

    Ladislav Hagara | Komentářů: 0
    17.7. 23:22 | IT novinky

    Vláda schválila Zprávu o stavu kybernetické bezpečnosti České republiky za rok 2023 (pdf). Dokument připravil Národní úřad pro kybernetickou a informační bezpečnost (NÚKIB) a vyplývá z něj, že v roce 2023 se v České republice meziročně zvýšil celkový počet kybernetických incidentů evidovaných NÚKIB ze 146 na 262. Policie ČR pak v roce 2023 evidovala přes 19 tisíc trestných činů v oblasti kybernetické kriminality, což činí 6% meziroční

    … více »
    Ladislav Hagara | Komentářů: 2
    17.7. 13:11 | Zajímavý článek

    Nikita Mazurov pro The Intercept popisuje, jak si zařídil anonymní účet v komunikátoru Signal, tedy aniž by použil své telefonní číslo. Využil telefonní budku. Poslední telefonní budka v Česku byla odstraněna v roce 2021.

    Fluttershy, yay! | Komentářů: 47
    17.7. 01:55 | Nová verze

    Svobodná webová platforma pro sdílení a přehrávání videí PeerTube (Wikipedie) byla vydána v nové verzi 6.2. Přehled novinek i s náhledy v oficiálním oznámení a na GitHubu.

    Ladislav Hagara | Komentářů: 0
    17.7. 01:33 | Nová verze

    Byla vydána nová stabilní verze 3.6 svobodného multiplatformního softwaru pro editování a nahrávání zvukových souborů Audacity (Wikipedie). Přehled novinek také na YouTube. Ke stažení je oficiální AppImage. Zatím starší verze Audacity lze instalovat také z Flathubu a Snapcraftu.

    Ladislav Hagara | Komentářů: 0
    17.7. 01:11 | Nová verze

    Po necelých 4 měsících vývoje od vydání verze 6.5 byla vydána nová verze 6.6 svobodného open source redakčního systému WordPress. Kódové jméno Dorsey bylo vybráno na počest amerického jazzového trombonisty, trumpetisty, skladatele a dirigenta big band éry Tommyho Dorseyho (YouTube).

    Ladislav Hagara | Komentářů: 0
    Rozcestník

    Dotaz: Scheme - vlastní procedura

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

    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: 92 | blog:
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    Jo, říká se tomu tak.
    🇵🇸Touch grass🇺🇦 ✊ no gods, no masters
    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.