Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
A.I.Kostrikin,Wst
ę
pdoalgebry.Podstawyalgebry,Warszawa2008
ISBN978-83-01-14252-0,©byWNPWN2004
DLACZYTELNIKA
Zgodniezogólnymplanemprzedstawionymwprzedmowieschematzależności
logicznejrozdziałówjestliniowy.Studentpierwszegorokumożezpożytkiemdla
siebieczytaćwszystkopokolei,zwracającszczególnąuwagęnaliczneprzykłady
ićwiczenia,którychwiększośćpojawiasięzwyklepóźniejnaegzaminie.
DoświadczonyCzytelnik(np.wykładowcalubstudentdrugiegoroku)może
beztruduzacząćlekturępraktycznieoddowolnegomiejsca,wracającnaturalnie
odczasudoczasudodefinicjizpoprzednichparagrafówirozdziałów.Niewszyst-
kienowepojęciapojawiająsięwakapitachzaczynającychsięodsłowandefinicja”.
Szczegółowyspistreściiskorowidzpojęćpomogąwodnalezieniuodpowiedniego
miejscawksiążce.
Każdyrozdziałdzielisięnakilkaparagrafów,aparagraf—nakilkapunktów
oosobnychtytułach.Wewnątrzparagrafutwierdzenia,lematyiwnioskimają
niezależnąnumerację:twierdzenie1,twierdzenie2,
...;lemat1,lemat2,
...Przy
takiejprymitywnej,choćdośćjasnejioszczędnejnumeracji,przyodsyłaniudo
poprzednichparagrafówtrzebapisać:n(§ź,twierdzeniej)”lubnawetn(rozdz.ź,
§j,twierdzeniek)”,cojednakniesprawiakłopotu.
Koniecdowodu(lubkoniectwierdzeniaudowodnionegowcześniej)oznaczamy
symbolem.
Dlaskróceniazapisustosujemynajprostszesymbolelogiczne.ZapisA⇒B
oznaczaimplikację:nApociągazasobąB”lubnzAwynikaB”;symbolemA⇔B
oznaczamyrównoważność(nAjestprawdąwtedyitylkowtedy,gdyzachodzi
B”).Znakkwantyfikatoraogólnego∀zastępujewyrażeniendlakażdego”.Sens
pozostałychoznaczeńwynikazkontekstu.
Napoprzedniejstroniepodaliśmywcałościalfabetgreckiwrazznwymową”
liter.Wtejdziedzinie,ważnejzewzględunaczęstestosowanielitergreckichwma-
tematyce,panujeprzykryzamęt.
