Корзина
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 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов. Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу Книга является продолжением уже вышедшей книги "Дискретная математика. Модулярная алгебра, криптография и кодирование".

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

Купить Історія держави і права України. Для підготовки до іспитів. Навчальний поcібник

Історія держави і права України. Для підготовки до іспитів. Навчальний поcібник

Тетарчук І.В.

105 грн
Купить Велика книга «Чому?»

Велика книга «Чому?»

365 грн
Купить Коммуникация: теории и практики

Коммуникация: теории и практики

Эм Гриффин

239 грн
Купить Жизнь без школы. Как организовать семейное обучение для вашего ребенка

Жизнь без школы. Как организовать семейное обучение для вашего ребенка

Лейла Сазонтова

230 грн
Купить Робинзон Крузо

Робинзон Крузо

Даниель Дефо

58 грн
Купить Бетмен. Повернення Темного Лицаря

Бетмен. Повернення Темного Лицаря

Фрэнк Миллер

315 грн
Купить Сторінки-цікавинки.Їду, плаваю, лечу

Сторінки-цікавинки.Їду, плаваю, лечу

Василь Федієнко

235 грн
Купить Больше чем бизнес. Как построить компанию, попасть в тюрьму, выбраться из нее и открыть новое дело

Больше чем бизнес. Как построить компанию, попасть в тюрьму, выбраться из нее и открыть новое дело

Олег Бармин, Лада Мазохина

450 грн
Купить Castles and fortresses of Ukraine/Замки і фортеці України

Castles and fortresses of Ukraine/Замки і фортеці України

Віктор Вечерський

720 грн
Купить Іде коза рогата

Іде коза рогата

19 грн
Купить Persuasion = Переконання

Persuasion = Переконання

Jane Austen

155 грн
Купить Дни Директ Маркетинга в Украине. Лучшие доклады и кейсы

Дни Директ Маркетинга в Украине. Лучшие доклады и кейсы

90 грн
Купить Искусство программирования, том 1. Основные алгоритмы

Искусство программирования, том 1. Основные алгоритмы

Дональд Э. Кнут

1 080 грн
Купить Танец с абсурдом. Когда ваши самые дорогие убеждения (впрочем, как и все остальные), возможно, не верны

Танец с абсурдом. Когда ваши самые дорогие убеждения (впрочем, как и все остальные), возможно, не верны

Екатерина Полянская

210 грн
Купить Конкурентность и параллелизм на платформе .NET. Паттерны эффективного проектирования

Конкурентность и параллелизм на платформе .NET. Паттерны эффективного проектирования

Рикардо Террелл

980 грн
Купить Зооландія. Розмальовка ХХL (конверт)

Зооландія. Розмальовка ХХL (конверт)

90 грн
Купить Мужчины, женщины и отношения

Мужчины, женщины и отношения

Джон Грэй

145 грн
Купить Велика книга почуттів

Велика книга почуттів

Гжегож Касдепке

270 грн
Купить Жрица Итфат

Жрица Итфат

Вадим Зеланд

445 грн
Купить Кішчин дім. Серія Оченята

Кішчин дім. Серія Оченята

45 грн
Купить Научиться рисовать быстро

Научиться рисовать быстро

Шэрон Финмарк

230 грн
Купить Быть пиратом. Как бросить миру вызов и победить

Быть пиратом. Как бросить миру вызов и победить

Сэм Коннифф Альенде

200 грн
Купить Кони привередливые

Кони привередливые

Владимир Высоцкий

140 грн
Купить Реинкарнация сильнейших. Лирическая сказка об управлении кризисом организации

Реинкарнация сильнейших. Лирическая сказка об управлении кризисом организации

Смирнова В.В.

19 грн
Купить Transcend. Девять шагов на пути к вечной жизни

Transcend. Девять шагов на пути к вечной жизни

Рэймонд Курцвейл, Терри Гроссман

410 грн
Купить Нет.  Лучшая стратегия ведения переговоров

Нет. Лучшая стратегия ведения переговоров

Джим Кэмп

465 грн
Купить Большая книга сказок волшебного леса

Большая книга сказок волшебного леса

Валько

230 грн
Купить The Hellblazer. Той, хто йде крізь пекло. Книга 1

The Hellblazer. Той, хто йде крізь пекло. Книга 1

Ґарт Енніс

470 грн
Купить Радикальное Самопрощение.Прямой путь к подлинному приятию себя

Радикальное Самопрощение.Прямой путь к подлинному приятию себя

Колин Типпинг

215 грн
Купить Фломастери KOH-I-NOOR Совенята 12 кольорів

Фломастери KOH-I-NOOR Совенята 12 кольорів

56 грн
Купить Настольная книга финансового директора

Настольная книга финансового директора

Стивен Брег

477 грн
Купить Нескучный менеджмент - 2. Для руководителей и стремящихся ими стать

Нескучный менеджмент - 2. Для руководителей и стремящихся ими стать

Иван Мазур

59 грн
Купить Самотній вовк

Самотній вовк

Василь Шкляр

150 грн
Купить Лисичка-сестричка і сірий вовк. Серія Оченята

Лисичка-сестричка і сірий вовк. Серія Оченята

45 грн
Купить Ловець снів

Ловець снів

Стівен Кінг

200 грн
Купить Электрические методы обогащения

Электрические методы обогащения

Черкашин Павел

248 грн
Купить Что бы сказал Фрейд? Как великие психотерапевты решили бы ваши проблемы

Что бы сказал Фрейд? Как великие психотерапевты решили бы ваши проблемы

Сара Томли

350 грн
Купить Учимся кодить на JavaScript

Учимся кодить на JavaScript

Джереми Мориц

385 грн
Купить Читаємо по складах

Читаємо по складах

135 грн
Купить Психология. Краткий курс в комиксах

Психология. Краткий курс в комиксах

Грейди Клейн, Дэнни Оппенгеймер

170 грн

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

Купить Литературный мастер-класс. Учитесь у Толстого, Чехова, Диккенса, Хемингуэя и многих других современных и классических авторов

Литературный мастер-класс. Учитесь у Толстого, Чехова, Диккенса, Хемингуэя и многих других современных и классических авторов

Юрген Вольф

385 грн
Купить Об экономике - с улыбкой

Об экономике - с улыбкой

Эм Михаил, Медведев М.

225 грн
113 грн
Купить Прикладна механіка: навчальний посібник

Прикладна механіка: навчальний посібник

Булгаков В.М., Яременко В.В.

732 грн
659 грн
Купить Українська мова за професійним спрямуванням: Робочий зошит-практикум. А4: навчальний посібник

Українська мова за професійним спрямуванням: Робочий зошит-практикум. А4: навчальний посібник

Шевчук С.В.

105 грн
Купить Практикум з менеджменту ч.2

Практикум з менеджменту ч.2

Баєва О.

33 грн
32 грн
Купить Основания физики

Основания физики

Аркадий Липкин

220 грн
Купить Психология девиантного поведения

Психология девиантного поведения

Владимир Менделевич

250 грн
Купить Математика

Математика

Игорь Гусев

222 грн
Купить Англо-русский словарь по библиотечной и информационной деятельности

Англо-русский словарь по библиотечной и информационной деятельности

Ричардсон Дж.

360 грн
180 грн
Купить Менеджмент у державному управлінні. Загальна частина. Навчальний посібник

Менеджмент у державному управлінні. Загальна частина. Навчальний посібник

Пєтков С.В., Наливайко Л.

96 грн
48 грн
Купить Інвестиційний менеджмент

Інвестиційний менеджмент

Докієнко Л., Клименко В.,

67 грн
64 грн
Купить Создавая бестселлер. Шаг за шагом к захватывающему сюжету, сильной сцене и цельной композиции

Создавая бестселлер. Шаг за шагом к захватывающему сюжету, сильной сцене и цельной композиции

Марта Олдерсон

406 грн
Купить Исчезающая ложка или Удивительные истории из жизни периодической таблицы Менделеева

Исчезающая ложка или Удивительные истории из жизни периодической таблицы Менделеева

Сэм Кин

290 грн
Купить Загальна психологія. Теоретичний курс. Навчальний поcібник

Загальна психологія. Теоретичний курс. Навчальний поcібник

Дуткевич Т.В.

280 грн
Купить Інституційні основи інноваційного розвитку економіки. Навчальний посібник.

Інституційні основи інноваційного розвитку економіки. Навчальний посібник.

Новицький В.Є.

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

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

Захожай В.Б.

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

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

Иэн Стюарт

350 грн
Купить Курс лекций "Основы Web-технологий"

Курс лекций "Основы Web-технологий"

Храмцов П.Б., Брик С.А., Русак А.М., Сурин А.И.

72 грн
36 грн
Купить Жива математика

Жива математика

Яків Перельман

250 грн
Купить Лекции по зарубежной литературе

Лекции по зарубежной литературе

Владимир Набоков

88 грн

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

Всего цитат
0

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

Отзывы

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

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