Логика и исчисление высказываний, логика и исчисление предикатов, булевы функции и функции многозначной логики, теория множеств, аксиоматические теории и их свойства, комбинаторика.
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения
