Matematika 1 je započela čudno brucošima na tehničkim faksovima. Prikazana drukčijim, općenitijim rječnikom, elementarna matematika koju su učili odjednom im je izgledala čudno.
Online su na raznim fakultetina, domaćim i stranim, dostupni mnogi materijali, notacije i prikazi pojava su različiti i često zbunjujući.
Preko vikenda treba to prožvakat i pogledat kako su online, najčešće na Wikipediji prezentirani ti i takvi sadržaji.
Idemo redom po bilješkama s jednog predavanja.
Matematička logika.
Logički sudovi.
Ovdje me zbunio čudnovat prikaz tablice istinosne vrijednosti u bilješkama. Prilično drukčiji u odnosu na već viđene.
Pokušat ću ga prikaza u BBCode-u (html-u). Trebat će mi
fileformat.info. Neki web preglednici ne će možda prikazat neke znakove.
Dovoljan je i wiki popis logičkih simbola
⧉.
τ ( A ∧ B ) :
Na prvi pogled:
— Što A \ B? A razlika B?
— Ne. A je u prvom stupcu, a B u prvom redku.
Što kaže
Halapa? O sudovima, između ostalog i ovo:
.pdf ⧉.
Tablicu istinosnih vrijednosti crta drukčije, zornije, metodičnije.
Engleska i njemačka Wikipedija će vas odvlačit na različite stvari što će se vidjet i kasnije (Peanovi aksiomi). Obje će vas brzo s teme i oznaka T|F, W|F umjesto ⊤|⊥ odvuć na Booleansku algebru i oznake 1|0.
Nu:
Truth tableWahrheitstabellepreko
Algebraic logicdo
Boolean algebra (logic)(SMF BBCode parser za UTF8 URL-ove; pamtim: lijeva zagrada je ( = %28, a desna ) = %29)
Boolesche AlgebraOperiranje sudovima:
Logical conjunctionLogical disjunctionLogical implicationLogical equalityExclusive disjunctionLogical NANDLogical NORExclusive NORLogical conditionalIf and only ifLogical equivalenceetc.
Definicija otvorene rečenice i (logičkog) predikata je zbunjujuća.
Ova definicija 1.2
ovdje ⧉.
Ima li tu odgovora?
AussagenlogikPropositional calculusIli ovdje?
Predicate logicPrädikatenlogikTo su one rečenice koje se pišu ovim simbolima?
Table of logic symbolsBilo je tu još gradiva, nu skratit ćemo ovaj upis, pa se more bit vratit na podnaslove u slijedećim naslovima.
Skupovi i relacije.
Set (mathematics)Menge (Mathematik)Category: Mathematical relationsRelation (mathematics)Funkcije
Function (mathematics)Funktion (Mathematik)Realni brojevi
Real numberReelle ZahlE, da…
Nije sramota povirit u rječnik za neke pojmove.
Npr. Hrvatski jezični portal online
⧉.
sudtautològijakoròlāretc.