Вячеслав Вольфенгаген — новинки
- 2 произведения
- 3 издания на 2 языках
-
Комбинаторная логика в программировании Вячеслав Вольфенгаген
ISBN: 978-5-913290-13-7 Год издания: 2008 Издательство: ЮрИнфоР-МГУ Язык: Русский Изложен основной круг задач, сводимых к исчислению объектов - "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики. Все задачи снабжены подробными и элементарными решениями.
Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения". -
Логика. Техника рассуждений. Конспект лекций Вячеслав Вольфенгаген
ISBN: 5-89158-135-3 Год издания: 2004 Издательство: Центр ЮрИнфоР Язык: Русский Настоящее издание значительно переработано и расширено элементами техники семантических рассуждений с применением классов и отношений, что особенно важно для работы с электронными формами информации. Рассмотрены способы переформулирования текста фактического типа на символьный язык, допускающий применение классических логических средств. Показаны приемы и способы записи аргументации и проверки ее значимости. На большом числе примеров проиллюстрирована техника логических рассуждений, выводов и доказательств. Отмечены способы включения в вывод аннотаций (комментариев), пользуясь которыми можно проверить истинность или установить ложность приводимых доводов. Для студентов и аспирантов гуманитарных специальностей. Может быть использована для первоначального изучения предмета, а также для самостоятельного изучения. -
Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах Вячеслав Вольфенгаген
ISBN: 5-89158-101-9 Год издания: 2003 Издательство: Центр ЮрИнфоР Язык: Русский Изложен основной круг задач, сводимых к исчислению объектов - `от простого к сложному`. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для…