Здравствуйте! Никто не знает задачника, чтобы по нему можно было закреплять книгу Верещагина, Шена Языки и исчисления? Примерно как
тут или
тут? Там-то задач как бы и хватило для проработки сегодняшнего материала, но они без ответов, и какой тогда от них толк? В книге такая же беда. Сейчас читаю про истинность формулы, интерпретации, выразимые/невыразимые предикаты. Вот чувствую, что могу это все хорошо понять, а задач с ответами нет. Вчера вспомнил про задачник Лаврова, Максимовой, но уж очень там все обще. Мне б интерпретации привычными множествами в руках покрутить.
