Учебник. Часть I. Костенко К. И. ФКТиПМ, КубГУ, с. 30.
Содержание:
Начальные понятия и модели.
- множества.
- отображения и функции.
- логика доказуемости и истинности.
Содержание:
Начальные понятия и модели.
- множества.
- отображения и функции.
- логика доказуемости и истинности.