Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Ahoj,
toto je troška programátorská otázka, ale hľadám matematický základ.
Rozumiem, že matematická logika pozná dve pravdivostné hodnoty: Pravda a Nepravda.
Každé tvrdenie o neexistujúcom prvku/objekte je pravdivé, správne?
Ak mám napr. množinu všetkých celých čísiel, a ja z tejto množiny vyberem pomnožiku A = (0,1) takáto množina je prázdna, a ja môžem o jej prvkoch prehlásiť čo chcem, napr. že x má žltú farbu.
Je toto tvrdenie správne? A je pravda, že dve prázdne množiny sa vzájomne rovnajú?
Offline
↑ Peter_CSR: Prva otazka - nie, pravdiva je len implikacia zlava doprava. Navyse, nie je podmnozina . Asi si chcel napisat . Druha otazka - ano.
Offline
↑ vlado_bb:
Ahoj,
Ospravedlňujem sa, posledné týždne som strávil programovaním a programátori nie sú práve exaktní vo svojich tvrdeniach.
čo som chcel o množine A prehlásiť je, že ju vytvorím tak, do množiny A vyberem všetku prvky ležiace na intervale (0,1)
a patriace množine Z. (programátorsky mi tvoje tvrdenie A prienik Z nedáva zmysel, pretože ja o A ešte nič neviem...)
Uistime sa, že premýšlam správne:
- Množina A neobsahuje nulový prvok.
- Množina A je prázdna.
Offline
Peter_CSR napsal(a):
↑ vlado_bb:
Ahoj,
Ospravedlňujem sa, posledné týždne som strávil programovaním a programátori nie sú práve exaktní vo svojich tvrdeniach.
Poznam ich dost a veru su. Teda ti kvalitni.
Peter_CSR napsal(a):
čo som chcel o množine A prehlásiť je, že ju vytvorím tak, do množiny A vyberem všetku prvky ležiace na intervale (0,1)
a patriace množine Z. (programátorsky mi tvoje tvrdenie A prienik Z nedáva zmysel, pretože ja o A ešte nič neviem...)
Vies o nej vsetko - je to prazdna mnozina. A celkom urcite je , sam si to prave napisal.
Peter_CSR napsal(a):
Uistime sa, že premýšlam správne:
- Množina A neobsahuje nulový prvok.
- Množina A je prázdna.
Ano.
Inak, skutocne by nebolo zle trochu si urobit poriadok v tom, co pises. Napriklad v tvojom povodnom prispevku je , ale v dalsom je uz . A je vhodne trochu sa aj nad tym, co pises zamysliet - neverim, ze ako stredoskolak nevies, ci sa v intervale nachadza alebo nenachadza cele cislo. To iba na okraj.
Offline
↑ vlado_bb:
Ahoj, vlastne áno. A = (0,1), a A = A and Z . Teda... toto je počítačový zápis, ktorý je skoro určite korektný. Matematicky by to malo byť pravdepodobne len , ake to len na okraj, zaújmavé ako sa dve vedné disciplíny rozchádzajú vo fundamentálnych záležitostiach ako definícia dátových objektov... Myslím... Ale potom, fyzik nemá problém napísať t = s/v, bez toho aby čokolvek ďalšie definoval ;).
Dobre, zatiaľ ďakujem, toto som si chcel uzrejmiť.
Diskusiu som začal, pretože sa snažím pochopiť, čo je to v počítačový vedách Null, a prečo Null != Null. Je to niečo, s čím som sa doposiaľ nestretol a nezapadá mi nikam. Pokiaľ by si o tom niečo vedel, bol by som veľmi vďačný, v opačnom prípade sa spýtam IT kolegov a budem v problematike pokračovať od tiaľ.
Offline
↑ Peter_CSR: Zial neviem, co je Null, takze ti snad poradi niekto iny.
Offline
↑ vlado_bb:
Vdaka :) podla dosavadneho infa je to ...nieco... Vylucne co sa vyskytuje v SQL, co je vsak na tom zaujmavejsie je, ze niektore zdroje naznacuju ze sa jedna o pravdivostnu hodnotu - pravda, nepravda a null. Ak je to Tak, mohlo by to byt zaujmavejsie... Ine zdroje naznacuju ze sa jedna o jednoducho oznacenie prazdnej mnoziny, co nedava zmysel rovnako: null != Null.
Offline
↑ Peter_CSR: Netusil som, ze pojmy v informatike su zavadzane takymto mystickym stylom :)
Offline
↑ vlado_bb:
Ahoj.
Hodnota "Null" znamená, že dané proměnné (nebo položce v databázi)
nebyla přiřazena žádná hodnota z požadovaného definičního oboru.
Offline
Nemusí se to vyskytkovat jen v SQL.
Třeba v jazyce C# (co trochu ovládám) je to taky, jmenuje se to "nullable types".
A lze to udělat z většiny běžných datových typů (bool, int, float atd...).
Je to náhodou docela užitečné, znamená to prostě "hodnota není definována". Dřív (v jazycích co to nemají, jako třeba c/c++) jsem strávil dost času vymýšlením hodnoty, která by označovala neplatnou nebo neexistující hodnotu. Ale třeba u logických proměnných (true/false) se to prostě udělat nedá. Takto to jde hezky.
Dokonce to funguje snad i tak, že když takové proměnné používáme, třeba c=a+b, tak je li jedna ze vstupních rovná null, je i výsledek rovný null.
Pro logické operace je to ještě sofistikovanější, tam snad dokonce platí, že true or null = true, nebo false and null = false,
protože výsledek v těchto případech na neznámé proměnné prostě nezávisí.
Jen si nemyslím, že null != null, já bych řekl, že je to naopak, že se dá normálně napsat
if (a == null)
{
...
}
Offline
MichalAld napsal(a):
Nemusí se to vyskytkovat jen v SQL.
Třeba v jazyce C# (co trochu ovládám) je to taky, jmenuje se to "nullable types".
A lze to udělat z většiny běžných datových typů (bool, int, float atd...).
Je to náhodou docela užitečné, znamená to prostě "hodnota není definována". Dřív (v jazycích co to nemají, jako třeba c/c++) jsem strávil dost času vymýšlením hodnoty, která by označovala neplatnou nebo neexistující hodnotu. Ale třeba u logických proměnných (true/false) se to prostě udělat nedá. Takto to jde hezky.
Dokonce to funguje snad i tak, že když takové proměnné používáme, třeba c=a+b, tak je li jedna ze vstupních rovná null, je i výsledek rovný null.
Pro logické operace je to ještě sofistikovanější, tam snad dokonce platí, že true or null = true, nebo false and null = false,
protože výsledek v těchto případech na neznámé proměnné prostě nezávisí.
Jen si nemyslím, že null != null, já bych řekl, že je to naopak, že se dá normálně napsat
if (a == null)
{
...
}
Yop, je to skutočne tak, ako si napísal. Dobrá práca!!!
rovnako ako Rumberak povedal. Ďakujem!
A skutočne, 1 + Null = Null, True or Null = True a skutočne správne, Null porovnaný čímkoľvek vráti Unknown.
Poučenie: čítať dokumentáciu!
Offline