Ebook: Математическая логика и теория алгоритмов: Учебное пособие

В пособии доступно для студентов технического вуза изложен сложный абстрактный материал в сочетании с содержательными примерами и программами на языке C. В основном тексте содержится более двухсот задач теоретической направленности; ещё около 480 задач содержится в последнем разделе, предназначенном для практических занятий, домашних заданий и контрольных работ