Хут, Майкл Математические основы продвинутой информатики: Том 1: I
- Время доставки: 7-10 дней
- Состояние товара: новый
- Доступное количество: 9
Заказывая «Хут, Майкл Математические основы продвинутой информатики: Том 1: I», вы можете быть уверены, что данное изделие из каталога «E-бизнес» вы получите через 5-7 дней после оплаты. Товар будет доставлен из Европы, проверен на целостность, иметь европейское качество.
Математические основы высшей информатики: Том 1: Индуктивные подходы
Описание:
Описание продукта Книги этой трилогии отражают фундаментальную основу продвинутой информатики. Авторы делают основы доступными, позволяя студентам эффективно решать проблемы. Этот первый том устанавливает индуктивный подход как фундаментальный принцип системного и предметного анализа. После краткого введения в элементарные математические структуры, такие как множества, логика высказываний, отношения и функции, авторы сосредотачивают внимание на разделении синтаксиса (представления) и семантики (значения), а также на преимуществах последовательного и постоянного использования индуктивные определения. Они определяют композиционность как особенность, которая не только служит основой для алгебраических доказательств, но и как ключ к более общей масштабируемости моделирования и анализа. Основным принципом является инвариантность, которую авторы считают ключом к освоению изменений, будь то в форме расширений, преобразований или абстракций.
Этот учебник подходит для студентов и аспирантов по информатике, а также для самостоятельного обучения. Большинство глав содержат упражнения, а их содержание проверено на протяжении многих лет в различных университетах.
<р> С задней обложки Книги этой трилогии отражают фундаментальную основу продвинутой информатики. Авторы делают основы доступными, позволяя учащимся эффективно решать проблемы. <р> Этот первый том устанавливает индуктивный подход как фундаментальный принцип системного и предметного анализа. После краткого введения в элементарные математические структуры, такие как множества, логика высказываний, отношения и функции, авторы сосредотачивают внимание на разделении синтаксиса (представления) и семантики (значения), а также на преимуществах последовательного и постоянного использования индуктивные определения. Они определяют композиционность как особенность, которая не только служит основой для алгебраических доказательств, но и как ключ к более общей масштабируемости моделирования и анализа. Основным принципом является инвариантность, которую авторы считают ключом к освоению изменений, будь то в форме расширений, преобразований или абстракций.Этот учебник подходит для студентов и аспирантов по информатике, а также для самостоятельного обучения. Большинство глав содержат упражнения, а их содержание проверено на протяжении многих лет в различных университетах.
Об авторе Бернхард Штеффен изучал математику в Университете Христиана-Альбрехта в Киле, где получил степень доктора компьютерных наук. После постдокторских должностей в Лаборатории основ компьютерных наук в Эдинбургском университете и Орхусском университете он занимал штатные должности в RWTH Ахена и Университете Пассау. С 1997 года он возглавлял кафедру систем программирования и построения компиляторов в Техническом университете Дортмунда. Он основал международную конференцию TACAS «Инструменты и алгоритмы для построения и анализа систем» и международный академический журнал Software Tools for Technology Transfer (STTT). Он опубликовал более 300 статей и статей, рецензируемых на международном уровне. Его исследовательские интересы включают формальные методы проверки и инструменты для анализа программ, оптимизации компилятора, генерации моделей, тестирования и разработки сервис-ориентированного программного обеспечения.
Оливер Рютинг изучал информатику в Университете Христиана-Альбрехта в Киле, где он работал с 1991 по 1997 год научным сотрудником. После получения докторской степени в 1997 году он перешел в Технический университет Дортмунда и является членом научного состава кафедры систем программирования. Его исследовательские интересы включают компиляторы и проверку моделей.
Майкл Хут получил докторскую степень по математике в 1991 году в Университете Тулейна. После получения докторской степени и исследовательских должностей в области информатики и математики в США, Великобритании и Германии он был доцентом кафедры. факультет компьютерных и информационных наук в Университете штата Канзас с 1996 по 2001 год
Обложка:Мягкая обложка
Количество страниц:255
Автор:Хут, Майкл
Язык:Английский: Опубликовано; Английский: язык оригинала; английский
Дата выпуска:24 января 2019 г.
Вес:1,001 грамм
Рост:0,6 см
Ширина:6,1 см
Длина:9,3 см
ПРИМЕЧАНИЕ. Приобретая товар на этом аукционе, вы соглашаетесь на продление срока доставки (10–14 рабочих дней). Данный товар поставляется с зарубежного склада, поэтому сроки доставки указаны ниже.