Lekcja: "Logika, algebra Boole`a, arytmetyka cyfrowa - część I"
Bibliografia
B. Wilkinson: Układy cyfrowe, Wydawnictwa Komunikacji i Łączności, Warszawa, 2000
B. Stanosz: Wprowadzenie do logiki formalnej" PWN, Warszawa 1999
Garrett Birkhoff, Thomas C. Bartee: Współczesna algebra stosowana. Warszawa: Państwowe Wydawnictwo Naukowe, 1983
Z.Adamowicz, P. Zbierski: Logic of mathematics. A modern course of classical logic. Nowy Jork: A Wiley-Interscience Publication. John Wiley & Sons, Inc., 1997, seria: Pure and Applied Mathematics
L. Pacholski: Logika dla informatyków - Materiały do zajęć, Wrocław 2004 Wrocław