Хат, Майкл Математичні основи передової інформатики: Том 1: І
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 9
Заказывая «Хут, Майкл Математические основы продвинутой информатики: Том 1: I», вы можете быть уверены, что данное изделие из каталога «E-бизнес» вы получите через 5-7 дней после оплаты. Товар будет доставлен из Европы, проверен на целостность, иметь европейское качество.
Математичні основи передової інформатики: Том 1: Індуктивні підходи
Опис:
Опис продукту Книги цієї трилогії охоплюють основоположне ядро передової інформатики. Автори роблять основи доступними, що дозволяє учням стати ефективними розв’язувачами проблем. Цей перший том встановлює індуктивний підхід як фундаментальний принцип системного аналізу та аналізу предметної області. Після короткого вступу до елементарних математичних структур, таких як множини, пропозиційна логіка, відношення та функції, автори зосереджуються на розмежуванні синтаксису (представлення) та семантики (значення), а також на перевагах послідовного та постійного використання індуктивні визначення. Вони ідентифікують композиційність як функцію, яка не лише виступає основою для алгебраїчних доказів, але також є ключем до більш загальної масштабованості моделювання та аналізу. Основним принципом у всьому є інваріантність, яку автори вважають ключем до оволодіння змінами, чи то у формі розширень, трансформацій чи абстракцій.
Цей підручник підходить для студентів і магістратур з інформатики та для самостійного навчання. Більшість розділів містять вправи, а їх вміст перевірявся протягом багатьох років у різних університетах.
Із задньої обкладинки Книги цієї трилогії охоплюють основоположне ядро передової інформатики. Автори роблять основи доступними, що дозволяє учням стати ефективними розв’язувачами проблем.
Цей перший том встановлює індуктивний підхід як фундаментальний принцип системного аналізу та аналізу предметної області. Після короткого вступу до елементарних математичних структур, таких як множини, пропозиційна логіка, відношення та функції, автори зосереджуються на розмежуванні синтаксису (представлення) та семантики (значення), а також на перевагах послідовного та постійного використання індуктивні визначення. Вони ідентифікують композиційність як функцію, яка не лише виступає основою для алгебраїчних доказів, але також є ключем до більш загальної масштабованості моделювання та аналізу. Основним принципом у всьому є інваріантність, яку автори вважають ключем до оволодіння змінами, чи то у формі розширень, трансформацій чи абстракцій.
Цей підручник підходить для студентів і магістратур з інформатики та для самостійного навчання. Більшість розділів містять вправи, а їх вміст перевірявся протягом багатьох років у різних університетах.
Про автора Бернхард Штеффен вивчав математику в Університеті Крістіана-Альбрехта в Кілі, де отримав ступінь доктора філософії з комп’ютерних наук. Після постдокторської роботи в Лабораторії основ комп’ютерних наук Единбурзького університету та Орхуського університету він обіймав штатні посади в RWTH Aachen та Universität Passau. З 1997 року він очолює кафедру систем програмування та створення компіляторів у Технічному університеті Дортмунда. Він заснував міжнародну конференцію TACAS, інструменти та алгоритми для побудови та аналізу систем, а також міжнародний академічний журнал Програмні засоби для передачі технологій (STTT). Він опублікував понад 300 міжнародних рецензованих робіт і статей, його дослідницькі інтереси включають формальні методи верифікації та інструменти для аналізу програм, оптимізацію компілятора, створення моделей, тестування та розробку сервіс-орієнтованого програмного забезпечення.
Олівер Рютінг вивчав інформатику в Університеті Крістіана-Альбрехта в Кілі, де з 1991 по 1997 рік працював науковим співробітником. Після захисту доктора філософії в 1997 році він перейшов до Technische Universität Dortmund, він є членом наукового персоналу кафедри систем програмування. Його наукові інтереси включають компілятори та перевірку моделей.
Майкл Хут отримав ступінь доктора філософії з математики в 1991 році в Тулейнському університеті. Після докторської та дослідницької роботи в галузі інформатики та математики в США, Великобританії та Німеччині він був доцентом кафедри. обчислювальної техніки та інформаційних наук в Університеті штату Канзас з 1996 по 2001 рік
Обкладинка:м'яка
Кількість сторінок:255
Автор:Хат, Майкл
Мова:англійська: опубліковано; англійська: мова оригіналу; англійська
Дата випуску:24 січня 2019
Вага:1,001 грам
Висота:0,6 см
Ширина:6,1 см
Довжина:9,3 см
ПРИМІТКА. Купуючи продукт на цьому аукціоні, ви погоджуєтеся на подовжений час доставки (10-14 робочих днів). Даний товар надходить із закордонного складу, тому продовжений термін доставки, наведений нижче.