План:
Что такое логика и мат.логика? Каковы их места в математике? История развития логики?Какие факты развития науки лежат в основе становления современной мат.логики?Парадоксы и софизмы.Как соотносятся данные понятия? Прикладное значение мат.логики.В чём оно проявляется?Логические модели баз данных. Языки запросов к базам данных. значение мат.логики в конструировании ЭВМ. Машина фон-Неймана. Логика и программирование