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:55 | Bezpečnostní upozornění

Společnost Uber potvrdila bezpečnostní incident a únik dat v roce 2016. Unikly údaje o 57 milionech cestujících (jména, emailové adresy a čísla mobilních telefonů) a 600 tisících řidičích (navíc čísla řidičských průkazů).

Ladislav Hagara | Komentářů: 0
včera 23:44 | Humor

Co vypíše příkaz man půl hodiny po půlnoci? Text "gimme gimme gimme". Jedná se o virtuální velikonoční vajíčko připomínající skupinu ABBA a její hit Gimme! Gimme! Gimme! (A Man After Midnight). Problém nastane, pokud gimme gimme gimme nabourá automatizované testování softwaru. To se pak příkaz man musí opravit [Bug 1515352] [reddit].

Ladislav Hagara | Komentářů: 3
včera 18:11 | Zajímavý článek

Mozilla.cz informuje, že Firefox na Fedoře podporuje Client Side Decorations. Firefox na Linuxu se vykresluje včetně standardního záhlaví okna, které je v případě webového prohlížeče většinou nadbytečné a ubírá drahocenné vertikální místo na obrazovce. Verze distribuovaná uživatelům Fedory však nyní obsahuje experimentální podporu pro takzvané Client Side Decorations, které umožňují vykreslování „oušek“ panelů do záhlaví okna.

Ladislav Hagara | Komentářů: 9
včera 05:00 | Bezpečnostní upozornění

Maxim Goryachy a Mark Ermolov ze společnosti Positive Technologies budou mít v prosinci na konferenci Black Hat Europe 2017 přednášku s názvem "Jak se nabourat do vypnutého počítače, a nebo jak v Intel Management Engine spustit vlastní nepodepsaný kód". O nalezeném bezpečnostním problému informovali společnost Intel. Ta bezpečnostní problém INTEL-SA-00086 v Intel Management Engine (ME), Intel Server Platform Services (SPS) a Intel

… více »
Ladislav Hagara | Komentářů: 28
včera 01:33 | Zajímavý projekt

Na Humble Bundle byla spuštěna akce Humble Book Bundle: Java. Za 1 dolar a více lze koupit 5 elektronických knih, za 8 dolarů a více 10 elektronických knih a za 15 dolarů a více 15 elektronických knih věnovaných programovacímu jazyku Java od nakladatelství O'Reilly. Peníze lze libovolně rozdělit mezi nakladatelství O'Reilly, neziskovou organizaci Code for America a Humble Bundle.

Ladislav Hagara | Komentářů: 0
včera 00:11 | Zajímavý projekt

Článek na OMG! Ubuntu! představuje rodinu písma IBM Plex. Jedná se o open source písmo (GitHub) navržené a uvolněné společností IBM (YouTube, Carbon Design System). Ukázka na Font Squirrel.

Ladislav Hagara | Komentářů: 9
20.11. 23:22 | Komunita

Na Humble Bundle lze získat počítačovou hru Brütal Legend (Wikipedie, YouTube) běžící také v Linuxu zdarma. Speciální akce končí ve středu v 19:00.

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

USA Network vysílá již třetí sérii seriálu Mr. Robot (Wikipedie, ČSFD.cz). Ryan Kazanciyan, technický konzultant seriálu, se na Medium v sérii článků Mr. Robot Disassembled věnuje jednotlivým dílům a popisuje použité nástroje a postupy.

Ladislav Hagara | Komentářů: 2
19.11. 23:55 | IT novinky

Společnost StartCom oficiálně oznámila, že jako certifikační autorita končí. Od 1. ledna 2018 přestane vydávat nové certifikáty a následující 2 roky bude poskytovat OCSP a CRL. Počátkem roku 2020 budou všechny platné certifikáty zneplatněny.

Ladislav Hagara | Komentářů: 53
19.11. 22:00 | IT novinky

Hodnota Bitcoinu, decentralizované kryptoměny, překonala hranici 8 000 dolarů [reddit].

Ladislav Hagara | Komentářů: 5
Jak se vás potenciálně dotkne trend odstraňování analogového audio konektoru typu 3,5mm jack z „chytrých telefonů“?
 (9%)
 (1%)
 (1%)
 (1%)
 (74%)
 (14%)
Celkem 735 hlasů
 Komentářů: 37, poslední včera 15:21
    Rozcestník

    Dotaz: Scheme - vlastní procedura

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

    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.