Matematické Fórum

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

#1 19. 03. 2018 16:05

Peter_CSR
Místo: Kekistan
Příspěvky: 417
Pozice: Meme
Reputace:   
 

Výrokové hodnoty a NULL

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 \in A \ll =\gg $ x má žltú farbu.

Je toto tvrdenie správne? A je pravda, že dve prázdne množiny sa vzájomne rovnajú?


2 + 2 is 4 minus 1 thats 3 quick mafs.

Offline

  • (téma jako vyřešené označil(a) Peter_CSR)

#2 19. 03. 2018 16:09 — Editoval vlado_bb (19. 03. 2018 16:10)

vlado_bb
Moderátor
Příspěvky: 6214
Škola:
Reputace:   142 
 

Re: Výrokové hodnoty a NULL

↑ Peter_CSR: Prva otazka - nie, pravdiva je len implikacia zlava doprava. Navyse, $A$ nie je podmnozina $Z$. Asi si chcel napisat $A \cap Z$. Druha otazka - ano.

Offline

 

#3 19. 03. 2018 16:31

Peter_CSR
Místo: Kekistan
Příspěvky: 417
Pozice: Meme
Reputace:   
 

Re: Výrokové hodnoty a NULL

↑ 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.


2 + 2 is 4 minus 1 thats 3 quick mafs.

Offline

 

#4 19. 03. 2018 17:11 — Editoval vlado_bb (19. 03. 2018 19:01)

vlado_bb
Moderátor
Příspěvky: 6214
Škola:
Reputace:   142 
 

Re: Výrokové hodnoty a NULL

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 $A=(0,1) \cap Z$, 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 $A=(0,1)$, ale v dalsom je uz $A=(0,1) \cap Z$. A je vhodne trochu sa aj nad tym, co pises zamysliet - neverim, ze ako stredoskolak nevies, ci sa v intervale $(0,1)$ nachadza alebo nenachadza cele cislo. To iba na okraj.

Offline

 

#5 20. 03. 2018 12:45

Peter_CSR
Místo: Kekistan
Příspěvky: 417
Pozice: Meme
Reputace:   
 

Re: Výrokové hodnoty a NULL

↑ 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 $A=(0,1) \cap Z$, 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ľ.


2 + 2 is 4 minus 1 thats 3 quick mafs.

Offline

 

#6 20. 03. 2018 12:50

vlado_bb
Moderátor
Příspěvky: 6214
Škola:
Reputace:   142 
 

Re: Výrokové hodnoty a NULL

↑ Peter_CSR: Zial neviem, co je Null, takze ti snad poradi niekto iny.

Offline

 

#7 20. 03. 2018 13:24

Peter_CSR
Místo: Kekistan
Příspěvky: 417
Pozice: Meme
Reputace:   
 

Re: Výrokové hodnoty a NULL

↑ 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.


2 + 2 is 4 minus 1 thats 3 quick mafs.

Offline

 

#8 20. 03. 2018 13:31

vlado_bb
Moderátor
Příspěvky: 6214
Škola:
Reputace:   142 
 

Re: Výrokové hodnoty a NULL

↑ Peter_CSR: Netusil som, ze pojmy v informatike su zavadzane takymto mystickym stylom :)

Offline

 

#9 20. 03. 2018 15:14

Rumburak
Místo: Praha
Příspěvky: 8691
Reputace:   502 
 

Re: Výrokové hodnoty a NULL

↑ 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

 

#10 20. 03. 2018 15:16

vlado_bb
Moderátor
Příspěvky: 6214
Škola:
Reputace:   142 
 

Re: Výrokové hodnoty a NULL

↑ Rumburak: Tak tomu sa uz da rozumiet.

Offline

 

#11 20. 03. 2018 18:28

MichalAld
Moderátor
Příspěvky: 4890
Reputace:   125 
 

Re: Výrokové hodnoty a NULL

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

 

#12 25. 03. 2018 22:26

Peter_CSR
Místo: Kekistan
Příspěvky: 417
Pozice: Meme
Reputace:   
 

Re: Výrokové hodnoty a NULL

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!


2 + 2 is 4 minus 1 thats 3 quick mafs.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson