Гарвацький В.С., Калашніков І.В., Кулик В.Т. Основи алгебри (Частина 1)

Посібник, Вінниця, 2013, 318 с. Навчальний посібник, в основному, призначений для студентів першого курсу математичних спеціальностей педагогічних університетів та інститутів як стаціонарної, так і заочної форм навчання. Разом із тим він може бути корисний вчителям математики і учням, які ікавляться математикою. Головною метою авторів посібника є теоретичне обґрунтування основних математичних понять та фактів, що зустрічаються як ушкільній математиці, так і в основних вузівських математичних курсах. До кожної з тем посібника подається детальний виклад теоретичного матеріалу, який супроводжується прикладами та ілюстраціями.
1. Елементи математичної логіки.
1.1 Елементи алгебри висловлень.
1.2. Застосування логічних законів алгебри висловлень до формулювання та доведення математичних тверджень.
1.3. Елементи алгебри множин.
1.4. Елементи логіки предикатів.
1.5. Бінарні відношення.