Основы логики и логические основы компьютера.