Математическая логика

Учебное пособие составлено на основе опыта, собранного автором на лекциях и семинарских занятиях для студентов факультета автоматики и компьютерной техники Азербайджанского Технического университета. Это учебнoе пособиe предназначено для студентов, магистрантов, докторантов, ученых и специалистов. Математическая логика широко применяется в информационных технологиях, программировании, математической лингвистике, в системах искусственного интеллекта, в управлении информационными базами данных, в принятии решений в организации и управлении экономическими системами.