Ukončení členství

[Dominika.Michailidu]

Mimochodem na základě této debaty už je organizována přednáška a drobný installfest. Tím chci říct, že jádro bylo velmi konstruktivní a důležité. Některé příspěvky byly spíš flame. A někteří z toho vyvodili iniciativu. Někteří přišli jen zaflejmovat.

bude to nějak zapojeno do kampaně? nedalo by se to dělat na té tour?

[Frantisek.Navrkal]

OS teda z bezpečnosti hraje dost velkou roli. Ale Roj má prostě svou pravdu. A já ho zase obdivuju, prostě neodvolá. Jak Hus.

[Roman.Kucera]

WinXP samy odhalily malware (jako nějaká aplikace ve standardní distribuci nebo v aktualizaci)?! Nebo to byla nějaká aplikace 3. strany jako nějaký antivir?
Navíc to, že si někdo nechá zavirovat počítač nebo médium, tak to přece neznamená nutně nic o kvalitě systému. Blbec si bez problémů zaviruje jakýkoli systém.

Myslel jsem, žes to psal ty. Jestli ne, taxe omlouvám. Asi ti někdo hacknul počítač. Co máš za operační systém?

[Tomas.Lastuvka]

Mimochodem na základě této debaty už je organizována přednáška a drobný installfest. Tím chci říct, že jádro bylo velmi konstruktivní a důležité. Některé příspěvky byly spíš flame. A někteří z toho vyvodili iniciativu. Někteří přišli jen zaflejmovat.

bude to nějak zapojeno do kampaně? nedalo by se to dělat na té tour?

Nevím.. Tady to bude test, pokud vyjde, můžeme to zapojit do kampaně.. Ale vidím tam jeden problém a to nejspíš nedostatek času a lidí, kteří by si to vzali na starost..

[Frantisek.Navrkal]

WinXP samy odhalily malware (jako nějaká aplikace ve standardní distribuci nebo v aktualizaci)?! Nebo to byla nějaká aplikace 3. strany jako nějaký antivir?
Navíc to, že si někdo nechá zavirovat počítač nebo médium, tak to přece neznamená nutně nic o kvalitě systému. Blbec si bez problémů zaviruje jakýkoli systém.

Myslel jsem, žes to psal ty. Jestli ne, taxe omlouvám. Asi ti někdo hacknul počítač. Co máš za operační systém?

Psal jsem to já, ale asi máš problém s pochopením textu. Z toho, co jsem napsal nijak IMHO nevyplývá, že je pro bezpečnost nepodstatné, jaký má člověk OS. Si to ještě párkrát přečti a zamysli se, co říkám. Uvědom si, že negace implikace něčeho není implikace negace onoho implikovaného. Neboli NOT(NOT(A => B)<=>(A => NOT(B))), platí ovšem (aspoň pro nějaký případ) NOT(A => B)<=>(A AND NOT(B)). Je to takové cvičení z logiky.

Na laptopu mám Linux Mint a na desktopu mám Win 7 (bo hry).

[anonym2064]

A=false
b=false
? NOT(NOT(A => B)<>(A => NOT(B)))
True
? NOT(A => B)<>(A AND NOT(B))
False

[Lukas.Novy]

nenutte me instalovat prolog.

[Lukas.Novy]

http://en.wikipedia.org/wiki/Epistemic_modal_logic

[Michal.Ketner]

Pokud chcete brát KVP tak:
NOT(A => B)<>(A AND NOT(B)) je tautologie.
? NOT(NOT(A => B)<>(A => NOT(B))) tohle nějak nechápu bud to bylo myšleno opravdu takto což by pak znamenalo že pokud by to měla být taky tautologie tak NOT(A => B)<>(A => NOT(B))
musí být kontradikce. třeba pro A = TRUE a B=TRUE by byla splněna tudíž ne NOT(NOT(A => B)<>(A => NOT(B))) není tautologie.
? NOT(NOT(A => B))<>(A => NOT(B)) taky není tautologie protože to se dá upravit na toto:(A => B))<>(A => NOT(B))
což pro A=true pravda není. Ale pokud někdo prohlašuje že platí toto (A => B))<>(A => NOT(B)), tak se dá říct, že doznává že výpověd A je lež.

[Roman.Kucera]

Tautologie je věda o tautu.