Корзина
0
Корзина
0
Добавьте в корзину товаров ещё на 900 гривен, чтобы БЕСПЛАТНО получить товар по Украине до отделения Новой почты.

Ваша корзина пустая

Меню
Главная>Каталог книг>Учебная литература>Естественные науки для ВУЗов>Дискретная математика. Формально-логические системы и языки

Дискретная математика. Формально-логические системы и языки

Издание 2018 г.
505 грн
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов. Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу Книга является продолжением уже вышедшей книги "Дискретная математика. Модулярная алгебра, криптография и кодирование".
Издание 2018 г.
Товар на складе
505 грн
Старая цена: 721 грн

Дискретная математика. Формально-логические системы и языки

Артикул : 73250
Издательство : ДМК
Автор : Авдошин С.М., Набебин А.А.
Язык : Русский
ISBN13 : 978-5-97060-622-3
Формат : 70x100/16
EAN13 : 9785970606223
Страниц : 390
Год издания : 2018
Тип переплета : Мягкий
505 грн
Старая цена: 721 грн
Экономия: 216 грн
Издание 2018 г.

Описание
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов. Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу Книга является продолжением уже вышедшей книги "Дискретная математика. Модулярная алгебра, криптография и кодирование".

Рекомендуемые книги

Купить The Bride Comes to Yellow Sky and Other Stories = Наречена їде до Єллоу-Скай та інші  історії

The Bride Comes to Yellow Sky and Other Stories = Наречена їде до Єллоу-Скай та інші історії

Stephen Crance

115 грн
Купить Век тревожности: Страхи, надежды, неврозы и поиски душевного покоя

Век тревожности: Страхи, надежды, неврозы и поиски душевного покоя

Скотт Стоссел

370 грн
Купить Математика для чайников. Сборник задач

Математика для чайников. Сборник задач

Марк Зегарелли

330 грн
Купить Таємниці походження всесвіту

Таємниці походження всесвіту

Лоуренс М.Краусс

122 грн
Купить Договориться можно обо всем! Как добиваться максимума в любых переговорах

Договориться можно обо всем! Как добиваться максимума в любых переговорах

Гэвин Кеннеди

260 грн
Купить Комплект игры «Thinkers Фіт і Фан 6-9 років» (укр.)

Комплект игры «Thinkers Фіт і Фан 6-9 років» (укр.)

195 грн
Купить Фашизм: засторога

Фашизм: засторога

Мадлен Олбрайт

200 грн
Купить Смертельный холод

Смертельный холод

Луиз Пенни

74 грн
Купить GET FEEDBACK. Как негативные отзывы сделают ваш продукт лидером рынка

GET FEEDBACK. Как негативные отзывы сделают ваш продукт лидером рынка

Джей Бэр

321 грн
Купить Искусство слышать стук сердца

Искусство слышать стук сердца

Ян-Филипп Зендкер

64 грн
Купить Психологія особистості. Навчальний посібник рекомендовано МОН України

Психологія особистості. Навчальний посібник рекомендовано МОН України

Москалець В.

165 грн
Купить Great Expectations / Великі сподівання. Рівень «Advanced»

Great Expectations / Великі сподівання. Рівень «Advanced»

Чарльз Діккенс

56 грн
Купить IP-телефония. Интернет. Мобильные телефоны. Ккомпьютеры. Бухгалтерский и налоговый учет

IP-телефония. Интернет. Мобильные телефоны. Ккомпьютеры. Бухгалтерский и налоговый учет

Кислов Д.В., Летяго И.В.

22 грн
Купить The Headless Horseman = Всадник без головы (Pre-I)

The Headless Horseman = Всадник без головы (Pre-I)

Томас Майн Рид

115 грн
Купить Вундеркiдз

Вундеркiдз

Жаклін Сільвестр

211 грн
Купить Управление конфликтами. Практическое руководство по тренингу

Управление конфликтами. Практическое руководство по тренингу

Анна Киселева

120 грн
Купить Проповідник. Книга 3

Проповідник. Книга 3

Гарт Эннис

470 грн
Купить Мужские мысли в походе и офисе: Как исповедь

Мужские мысли в походе и офисе: Как исповедь

Игорь Фомин

224 грн
Купить Настольная игра Dino sport — веселые гонки динозавров

Настольная игра Dino sport — веселые гонки динозавров

330 грн
Купить Почему мужчины хотят секса, а женщины любви

Почему мужчины хотят секса, а женщины любви

Алан Пиз, Барбара Пиз

430 грн
Купить Отели. Лучшие проекты мира

Отели. Лучшие проекты мира

819 грн
Купить Комплект игры «Thinkers 9-12 років - Алгоритми» (укр.)

Комплект игры «Thinkers 9-12 років - Алгоритми» (укр.)

148 грн
Купить #В постели с твоим мужем. Записки любовницы. Женам читать обязательно!

#В постели с твоим мужем. Записки любовницы. Женам читать обязательно!

Ника Набокова

270 грн
Купить Тайные учения всех времен. Энциклопедическое изложение герметической, каббалистической и розенкрейцерской символической философии

Тайные учения всех времен. Энциклопедическое изложение герметической, каббалистической и розенкрейцерской символической философии

Мэнли Палмер Холл

480 грн
Купить Класична листівка Тиффани

Класична листівка Тиффани

15 грн
Купить Microsoft Windows 8. Справочник администратора

Microsoft Windows 8. Справочник администратора

Уильям Р. Станек

447 грн
Купить #Рецепты, которые полюбит вся семья. Вторые блюда

#Рецепты, которые полюбит вся семья. Вторые блюда

Анастасия Скрипкина

420 грн
Купить Вселенная. Вопросов больше, чем ответов

Вселенная. Вопросов больше, чем ответов

Александр Громов, Александр Малиновский

144 грн
Купить Армстронг

Армстронг

Кульман Торбен

200 грн
Купить За гранью слов. О чем думают и что чувствуют животные

За гранью слов. О чем думают и что чувствуют животные

Карл Сафина

350 грн
Купить Маленькие сказки

Маленькие сказки

Андрей Усачев

135 грн
Купить Пироги Найкращі рецепти

Пироги Найкращі рецепти

125 грн
Купить Dracula = Дракула

Dracula = Дракула

Bram Stoker

170 грн
Купить Конспект лекций по высшей математике. Ряды

Конспект лекций по высшей математике. Ряды

Полозюк О.Е.

5 грн
Купить Трансформатор. Як створити свій бізнес і почати заробляти

Трансформатор. Як створити свій бізнес і почати заробляти

Дмитро Портнягін

286 грн
Купить Овощная феерия Изысканные салаты закуски гарниры запеканки

Овощная феерия Изысканные салаты закуски гарниры запеканки

Алевтина Баранова

52 грн
Купить Айседора Мун іде до школи

Айседора Мун іде до школи

Гаррієт Мункастер

92 грн
Купить Функциональное программирование на JavaScript. Как улучшить код JavaScript-программ

Функциональное программирование на JavaScript. Как улучшить код JavaScript-программ

Луис Атенсио

590 грн
Купить Устройство аудио- и видеоаппаратуры, т.1

Устройство аудио- и видеоаппаратуры, т.1

Хофф Филип

10 грн
Купить Маленькая книга гурмана. Мечтать не вредно!

Маленькая книга гурмана. Мечтать не вредно!

Кеда Блейк

220 грн

Книги из категории "Учебная литература"

Купить ЗНО 2020. Українська література. Інтерактивна хрестоматія. Підготовка до ЗНО

ЗНО 2020. Українська література. Інтерактивна хрестоматія. Підготовка до ЗНО

*

170 грн
Купить Менеджмент організації. Підручник

Менеджмент організації. Підручник

Пєтков В.П.

Нет в наличии
Купить Средства информатизации. Телекоммуникационные технологии

Средства информатизации. Телекоммуникационные технологии

Могилев Александр

157 грн
79 грн
Купить Работаем с информацией. Книга для ученика

Работаем с информацией. Книга для ученика

Дуванов А.

99 грн
50 грн
Купить ЗНО 2020: Історія України.2000 тестів для підготовки до ЗНО

ЗНО 2020: Історія України.2000 тестів для підготовки до ЗНО

Віталій Власов

135 грн
Купить Управління конкурентоспроможністю підприємства

Управління конкурентоспроможністю підприємства

Чернявський А.

82 грн
41 грн
Купить ЗНО 2020: Українська мова і література. Власне висловлення. Робочий зошит

ЗНО 2020: Українська мова і література. Власне висловлення. Робочий зошит

*

33 грн
Купить Иллюстрированная энциклопедия. Эксперименты по криминалистике

Иллюстрированная энциклопедия. Эксперименты по криминалистике

Томпсон Р.Б., Томпсон Б.Ф.

1 110 грн
Купить Финансы. Учебник

Финансы. Учебник

Грязнова А.Г., Маркина Е.

123 грн
62 грн
Купить ІНФОРМАТИКА 10 клас Рівень стандарту

ІНФОРМАТИКА 10 клас Рівень стандарту

Завадський Ігор, Стеценко Ірина

45 грн
32 грн
Купить ЗНО + ДПА 2020. Математика. Типові тестові завдання + короткий математичний довідник

ЗНО + ДПА 2020. Математика. Типові тестові завдання + короткий математичний довідник

А.Р.Гальперіна

56 грн
Купить ЗНО 2020: Типові тестові завдання Фізика

ЗНО 2020: Типові тестові завдання Фізика

*

56 грн
Купить Финансы. Академический курс: Учебник

Финансы. Академический курс: Учебник

Алла Дворецкая

1 103 грн
552 грн
Купить Фінансовий облік у банках (у контексті МСФЗ) Підручник затверджений МОН України

Фінансовий облік у банках (у контексті МСФЗ) Підручник затверджений МОН України

Литвин Н.Б.

760 грн
Купить Математические головоломки профессора Стюарта

Математические головоломки профессора Стюарта

Иэн Стюарт

350 грн
Купить Анализ безопасности управления доступом и информационными потоками в компьютерных системах

Анализ безопасности управления доступом и информационными потоками в компьютерных системах

Девянин П.Н.

52 грн
26 грн
Купить Управління якістю

Управління якістю

Захожай В.Б.

410 грн
389 грн
Купить Аналіз господарської діяльності

Аналіз господарської діяльності

Мулик Т. О.

180 грн
162 грн
Купить Українська мова: правопис у таблицях, тестові завдання

Українська мова: правопис у таблицях, тестові завдання

Олександр Авраменко

115 грн
Купить Курс цифрових технологій. Посібник користувача

Курс цифрових технологій. Посібник користувача

Завадський І.О.

26 грн
13 грн

Цитаты пользователей

Всего цитат
0

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

Отзывы

Отзывы
0 рецензий

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.
Все права защищены © 2003-2019 Bookzone.com.ua              Условия использования | Политика конфиденциальности
Интеграция сайта с 1С: ©SUPC