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

    V Redisu byla nalezena a v upstreamu již opravena kritická zranitelnost CVE-2025-49844 s CVSS 10.0 (RCE, vzdálené spouštění kódu).

    Ladislav Hagara | Komentářů: 0
    dnes 14:00 | IT novinky

    Ministr a vicepremiér pro digitalizaci Marian Jurečka dnes oznámil, že přijme rezignaci ředitele Digitální a informační agentury Martina Mesršmída, a to k 23. říjnu 2025. Mesršmíd nabídl svou funkci během minulého víkendu, kdy se DIA potýkala s problémy eDokladů, které některým občanům znepříjemnily využití možnosti prokázat se digitální občankou u volebních komisí při volbách do Poslanecké sněmovny.

    Ladislav Hagara | Komentářů: 4
    dnes 12:33 | Zajímavý software

    Společnost Meta představila OpenZL. Jedná se o open source framework pro kompresi dat s ohledem na jejich formát. Zdrojové kódy jsou k dispozici na GitHubu.

    Ladislav Hagara | Komentářů: 0
    dnes 03:33 | IT novinky

    Google postupně zpřístupňuje českým uživatelům Režim AI (AI Mode), tj. nový režim vyhledávání založený na umělé inteligenci. Režim AI nabízí pokročilé uvažování, multimodalitu a možnost prozkoumat jakékoliv téma do hloubky pomocí dodatečných dotazů a užitečných odkazů na weby.

    Ladislav Hagara | Komentářů: 0
    včera 18:11 | Nová verze

    Programovací jazyk Python byl vydán v nové major verzi 3.14.0. Podrobný přehled novinek v aktualizované dokumentaci.

    Ladislav Hagara | Komentářů: 2
    včera 16:33 | IT novinky

    Bylo oznámeno, že Qualcomm kupuje Arduino. Současně byla představena nová deska Arduino UNO Q se dvěma čipy: MPU Qualcomm Dragonwing QRB2210, na kterém může běžet Linux, a MCU STM32U585 a vývojové prostředí Arduino App Lab.

    Ladislav Hagara | Komentářů: 2
    včera 15:55 | Nová verze

    Multiplatformní open source voxelový herní engine Luanti byl vydán ve verzi 5.14.0. Podrobný přehled novinek v changelogu. Původně se jedná o Minecraftem inspirovaný Minetest v říjnu loňského roku přejmenovaný na Luanti.

    Ladislav Hagara | Komentářů: 0
    včera 13:22 | Nová verze

    Byla vydána nová stabilní verze 6.10 (YouTube) multiplatformního frameworku a GUI toolkitu Qt. Podrobný přehled novinek v poznámkách k vydání.

    Ladislav Hagara | Komentářů: 0
    6.10. 23:55 | Komunita

    Ubuntu 26.04 LTS bude (𝕏) Resolute Raccoon (rezolutní mýval).

    Ladislav Hagara | Komentářů: 5
    6.10. 21:00 | Nová verze

    Netwide Assembler (NASM) byl vydán v nové major verzi 3.00. Přehled novinek v poznámkách k vydání v aktualizované dokumentaci.

    Ladislav Hagara | Komentářů: 0
    Jaké řešení používáte k vývoji / práci?
     (39%)
     (46%)
     (15%)
     (17%)
     (21%)
     (15%)
     (17%)
     (15%)
     (15%)
    Celkem 197 hlasů
     Komentářů: 13, poslední dnes 07:41
    Rozcestník


    Vložit další komentář
    10.2.2004 12:59 bela
    Rozbalit Rozbalit vše jak to souisi s pretaktovanim?
    trosku me prekvapilo, ze u souvisejicich clanku je ta pohroma s pretaktovanim. uchazi mi tu nejaka 'souvislost'?
    10.2.2004 14:03 Tomáš Oberhuber | skóre: 18
    Rozbalit Rozbalit vše jak to souisi s pretaktovanim?
    Je to taky recenze knihy.
    egg avatar 10.2.2004 14:45 egg | skóre: 20 | Praha
    Rozbalit Rozbalit vše souvislost s AI ?
    Chtěl bych vědět, proč má kniha v názvu umělou inteligenci. Co se popisuje v recenzi, mi nápadně připomíná naše skripta na matematickou logiku a na neprocerurální programování, spíše než AI. Píše se v knize také o technologickém využití?
    10.2.2004 17:36 slusnostjeseneptatnajmenocojekomudotoho?
    Rozbalit Rozbalit vše souvislost s AI ?
    treba tady. jde o vytvareni formalni reprezentace vet a souvisejicich modelu. formalnich modelu. proste algebraicke struktury ...
    10.2.2004 23:25 Lukáš Zapletal | skóre: 42 | blog: lzapův svět | Olomouc
    Rozbalit Rozbalit vše souvislost s AI ?
    Spíše znalostní báze, předpovídání událostí a podobně, než nějaké sofistikované AI.
    11.2.2004 09:18 Stano
    Rozbalit Rozbalit vše Priklad
    Uz som sice dlhsie zo skoly (kde sme mali logiku), ale podla mna v rieseni prikladu bol dokazany uplny opak.
    1.krok je v poriadku, ale uz 2.krok je chybny, lebo by mal byt cely negovany. Dalsie kroky nebudem komentovat.
    Len tak pre kontrolu porovnanie pravdivostnych tabuliek zadaneho vyrazu a odvodeneho:
     a | b | c | c -> (a v b) | ¬a ^ ¬b ^ c 
    ---+---+---+--------------+-------------
     0 | 0 | 0 |      1       |      0      
     0 | 0 | 1 |      0       |      1      
     0 | 1 | 0 |      1       |      0      
     0 | 1 | 1 |      1       |      0      
     1 | 0 | 0 |      1       |      0      
     1 | 0 | 1 |      1       |      0      
     1 | 1 | 0 |      1       |      0      
     1 | 1 | 1 |      1       |      0      
    
    11.2.2004 17:32 Masak
    Rozbalit Rozbalit vše Priklad
    Jojo, resenim je (1.) -- konjunktivni tvar ma jediny konjunkt slozeny ze tri disjunktu...
    11.2.2004 19:18 Lukáš Zapletal | skóre: 42 | blog: lzapův svět | Olomouc
    Rozbalit Rozbalit vše Priklad
    Máte pravdu :) Je to celé špatně, to jsem celý já, nicméně pro představu to asi stačí,

    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.