Книга воспроизводит содержание лекции, прочитанной автором участникам XXIX Московской математической олимпиады. В ней излагаются основные понятия, относящиеся к учению об "алгебрах Буля", играющих большую роль в математической логике и важных для всех направлений математики, связанных с электронными вычислительными машинами и кибернетикой. В работе дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривается алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств; а также для самоконтроля приводятся упражнения. Книга будет с интересом прочитана школьниками средних и старших классов, может быть использована в работе школьного математического кружка.
Kniga vosproizvodit soderzhanie lektsii, prochitannoj avtorom uchastnikam XXIX Moskovskoj matematicheskoj olimpiady. V nej izlagajutsja osnovnye ponjatija, otnosjaschiesja k ucheniju ob "algebrakh Bulja", igrajuschikh bolshuju rol v matematicheskoj logike i vazhnykh dlja vsekh napravlenij matematiki, svjazannykh s elektronnymi vychislitelnymi mashinami i kibernetikoj. V rabote daetsja opredelenie algebry Bulja i privodjatsja mnogochislennye primery takikh algebr; v chastnosti, spetsialno rassmatrivaetsja algebra vyskazyvanij i ukazyvajutsja puti ispolzovanija etoj svoeobraznoj algebry dlja avtomatizatsii matematicheskikh dokazatelstv; a takzhe dlja samokontrolja privodjatsja uprazhnenija. Kniga budet s interesom prochitana shkolnikami srednikh i starshikh klassov, mozhet byt ispolzovana v rabote shkolnogo matematicheskogo kruzhka.
