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

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

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

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

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

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

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

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

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

Купить Фэн-шуй для "чайников"

Фэн-шуй для "чайников"

Дэвид Дэниел Кеннеди

144 грн
Купить Разработка современных веб-приложений: анализ предметных областей и технологий

Разработка современных веб-приложений: анализ предметных областей и технологий

Дино Эспозито

590 грн
Купить Сказки (ил. А. Власовой)

Сказки (ил. А. Власовой)

Александр Пушкин

255 грн
Купить Феномен ZARA (укр.)

Феномен ZARA (укр.)

Ковадонґа О’Ші

190 грн
Купить Українська мова – мова вільних людей. Істор.дослідження

Українська мова – мова вільних людей. Істор.дослідження

Сергій Піддубний

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

Банківські операції. Навчальний посібник рекомендовано МОН України

Ковальчук Костянтин

90 грн
Купить Озадачник.133 вопроса на знание логики,математики и физики

Озадачник.133 вопроса на знание логики,математики и физики

Николай Полуэктов, Павел Полуэктов

215 грн
Купить Есть идея! История ИКЕА

Есть идея! История ИКЕА

Ингвар Кампрад

335 грн
Купить Пеппи Длинныйчулок поселяется в вилле "Курица"

Пеппи Длинныйчулок поселяется в вилле "Курица"

Астрид Линдгрен

180 грн
Купить О чем думают растения

О чем думают растения

Стефано Манкузо, Алессандра Виола

215 грн
Купить Мировой порядок

Мировой порядок

Генри Киссинджер

440 грн
Купить Нова Земля. Усвідомлення життєвої мети

Нова Земля. Усвідомлення життєвої мети

Екгарт Толле

170 грн
Купить Офиц.тест MSCE: Windows NT Server 4.0 (70-067) +CD

Офиц.тест MSCE: Windows NT Server 4.0 (70-067) +CD

Вилански Э.

13 грн
Купить Агенція батьків. Обери собі ідеальних

Агенція батьків. Обери собі ідеальних

Девід Бадділ

150 грн
Купить Боги на земле

Боги на земле

Татьяна Дугельная

122 грн
Купить Голая обезьяна

Голая обезьяна

Десмонд Моррис

300 грн
Купить Управлять по-русски

Управлять по-русски

Андре Моруа

51 грн
Купить Из третьего мира — в первый. История Сингапура (1965–2000)

Из третьего мира — в первый. История Сингапура (1965–2000)

Ли Куан Ю

621 грн
Купить Преступление и наказание

Преступление и наказание

Федор Достоевский

76 грн
Купить Яскравий щоденник (укр.)

Яскравий щоденник (укр.)

Ира Негован

239 грн
Купить Самоуч-ль раб. в Office (тверд. переплет): Word 97/2000, Excel 97/2000

Самоуч-ль раб. в Office (тверд. переплет): Word 97/2000, Excel 97/2000

Гаевский Александр

5 грн
Купить На подвір’ї. In the yard

На подвір’ї. In the yard

Оксана Забара

30 грн
Купить Закладка Помiчай дива

Закладка Помiчай дива

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

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

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

230 грн
Купить Чтец

Чтец

Бернхард Шлинк

160 грн
Купить Вечный Киев. Жизнь большого города

Вечный Киев. Жизнь большого города

Ковалинский Виталий, Друг Ольга

720 грн
Купить Володар перснів. Комплект з 3-х книг

Володар перснів. Комплект з 3-х книг

Джон Р. Р. Толкин

665 грн
Купить Лирика Серебряного века

Лирика Серебряного века

Борис Пастернак, Сергей Есенин, Марина Цветаева

96 грн
Купить Французские дети не капризничают. Уникальный опыт парижского воспитания

Французские дети не капризничают. Уникальный опыт парижского воспитания

Кэтрин Кроуфорд

203 грн
Купить C# 4.0: полное руководство

C# 4.0: полное руководство

Герберт Шилдт

810 грн
Купить Карлсон прилітає знов

Карлсон прилітає знов

Астрид Линдгрен

71 грн
Купить Illuminate: как говорить вдохновляющие речи и создавать эффективные презентации, способные изменить историю. Серия Подарочные издания. Бизнес

Illuminate: как говорить вдохновляющие речи и создавать эффективные презентации, способные изменить историю. Серия Подарочные издания. Бизнес

Нэнси Дуарте, Патти Санчез

594 грн
Купить Постигая Agile. Ценности, принципы, методологии

Постигая Agile. Ценности, принципы, методологии

Эндрю Стиллман, Дженнифер Грин

604 грн
Купить Эволюция. История жизни на Земле. Краткий курс в комиксах

Эволюция. История жизни на Земле. Краткий курс в комиксах

135 грн
Купить Революция платформ. Как сетевые рынки меняют экономику – и как заставить их работать на вас

Революция платформ. Как сетевые рынки меняют экономику – и как заставить их работать на вас

Джеффри Паркер, Маршалл ван

477 грн
Купить Новый дизайн счастливого человека. Как понять, кто ты на самом деле

Новый дизайн счастливого человека. Как понять, кто ты на самом деле

Карен Карри

315 грн
Купить Анализ пакетов. Практическое руководство по использованию Wireshark и tcpdump для решения реальных проблем в локальных сетях

Анализ пакетов. Практическое руководство по использованию Wireshark и tcpdump для решения реальных проблем в локальных сетях

Крис Сандерс

590 грн
Купить Агата Мистери. Охота за призраком

Агата Мистери. Охота за призраком

Стив Стивенсон

100 грн
Купить Become A Recognized Authority In Your Field - In 60 Days Or Less

Become A Recognized Authority In Your Field - In 60 Days Or Less

Robert W. Bly

85 грн
Купить Футбол

Футбол

Александр Муйжнек, Анастасия Батищева

305 грн

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

Купить Лірика Лесі Українки. Діалог з європейською культурою

Лірика Лесі Українки. Діалог з європейською культурою

Ведель Е.

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

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

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

157 грн
79 грн
Купить Практикум по основам информатики и вычислительной техники. Учебное пособие.

Практикум по основам информатики и вычислительной техники. Учебное пособие.

Уваров В.М

66 грн
33 грн
Купить Українсько-російський словник наукової термінології

Українсько-російський словник наукової термінології

Леонід Симоненко

82 грн
78 грн
Купить Міжурядові трансферти: теорія і практика

Міжурядові трансферти: теорія і практика

Слухай Сергій

98 грн
93 грн
Купить Банківська діяльність. Навчальний посібник.

Банківська діяльність. Навчальний посібник.

Живко З.Б.

53 грн
Купить Менеджмент

Менеджмент

Кузьмін О.

72 грн
69 грн
Купить Організація виконання бюджету

Організація виконання бюджету

Коваль М.І., Назаренко О.М., Коваль О.М.

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

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

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

96 грн
48 грн
Купить Интеллектуальные игры в информатике

Интеллектуальные игры в информатике

Дмитрий Златопольский

89 грн
45 грн
Купить Особенности бухгалтерского учета в современных условиях

Особенности бухгалтерского учета в современных условиях

Горицкая Н.Г.

15 грн
8 грн
Купить Валеологія. Підручник

Валеологія. Підручник

Грибан Віталій

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

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

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

26 грн
13 грн
Купить Українське ділове мовлення. Навчальний посібник

Українське ділове мовлення. Навчальний посібник

Шевчук С.В.

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

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

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

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

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

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

84 грн
42 грн
Купить Конкурентостійкість підприємств сільського зеленого туризму: теорія, механізм формування та управління Монографія

Конкурентостійкість підприємств сільського зеленого туризму: теорія, механізм формування та управління Монографія

Забуранна Л.В.

220 грн
198 грн
Купить Высокоуровневые методы информатики и программирования. Учебник

Высокоуровневые методы информатики и программирования. Учебник

Истомин Е.П., Неклюдов С.

73 грн
37 грн
Купить Розвиток людського капіталу в умовах глобалізації

Розвиток людського капіталу в умовах глобалізації

Ларіна Я., Брацлавська О.

54 грн
52 грн
Купить Організація бухгалтерського обліку. Навчальний посібник

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

Чацкіс Ю.Д.

270 грн
243 грн

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

Всего цитат
0

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

Отзывы

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

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