Логика. Множества. Вероятность. Лексаченко В.А. - 4 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

I. MATEMATIQESKA LOGIKA
1. Funkcii algebry logiki
S povleniem cifrovyh vyqislitel~nyh maxin (CVM) raz-
del matematiki, nazyvaemy$i algebro$i logiki, stal neotemle-
mo$i qast~ inenernyh disciplin, posvwennyh proektirova-
ni vyqislitel~nyh maxin. tomu sposobstvovalo sluqa$inoe
sovpadenie — v klassiqesko$i logike vyskazyvani prinimat
dva znaqeni: 0 (lo~), 1 (istina), a v osnovu konstrukcii
sovremennyh CVM po soobraenim, svzannymi s prostoto$i i
nadenost~ realizacii, byli poloeny lektronnye lementy
s dvum usto$iqivymi sostonimi* (ih take printo obozna-
qat~ simvolami 0, 1). D. Bul~, vpervye primenivxi$i v sere-
dine
XIX
veka algebraiqeskie metody k rexeni tradicionnyh
logiqeskih zadaq, sozdal algebru logiki, vlwus po su-
westvu teorie$i funkci$i, argumenty kotoryh i sami funkcii
prinimat znaqeni iz mnoestva
B =
{0,
1
}. ti obstotel~-
stva pozvolili proektirovwikam CVM vekom poze vospol~zo-
vat~s gotovym matematiqeskim apparatom algebry logiki, soz-
dannym ranee dl drugih cele$i.
Kady$i sovremenny$i xkol~nik znaet, qto CVM vlets
sredstvom obrabotki informacii, predstavlemo$i mnogorazrd-
nymi dvoiqnymi qislami. Dl togo qtoby qislo
(x
1
. . . x
n
)
2
mono bylo by sqitat~ informacie$i, kado$i cifre
x
i
ili
gruppe cifr togo qisla pridaets opredelenny$i smysl. Nap-
rimer, informaci o qislovyh dannyh s plavawe$i zapto$i
soderit gruppy cifr, predstavlwie v dvoiqno$i sisteme
sqisleni mantissu qisla, ego pordok, znak pordka i znak
mantissy; informaci o komande soderit gruppy cifr, pred-
stavlwie kod operacii, adresa operandov i moet byt~ ne-
kotorye dopolnitel~nye gruppy cifr; informaci ob ustro$is-
tvah (blokah) CVM predstavlets qislami, nazyvaemymi slo-
vami sostoni ustro$istv. Odnako, kakov by ni byl smysl
komponent informacii, v lbom ustro$istve CVM kada cif-
ra vyhodno$i informacii vlets funkcie$i algebry logiki
(bulevo$i funkcie$i
) vida f(x
1
,
. . .
, x
n
). Avtor nadeets, qto ta-
ka interpretaci bulevyh funkci$i budet dopolnitel~no sti-
mulirovat~ interes k matematiqesko$i logike u naqinawih ee
izuqat~.
*
4

Страницы