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

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

Купить Рисунок. Основы учебного академического рисунка. Учебник

Рисунок. Основы учебного академического рисунка. Учебник

Ли Николай

336 грн
Купить Клиенты на всю жизнь

Клиенты на всю жизнь

Карл Сьюэлл, Пол Браун

342 грн
Купить Самоучитель Delphi в примерах, играх и программах. От простых приложений, решения задач и до програм

Самоучитель Delphi в примерах, играх и программах. От простых приложений, решения задач и до програм

Рубанцев

225 грн
Купить Класична листівка Ти котик!

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

24 грн
Купить Житловий кодекс. Станом на 03.09.19  (зі змінами на 18.09.2018)

Житловий кодекс. Станом на 03.09.19 (зі змінами на 18.09.2018)

56 грн
Купить Дикий робот

Дикий робот

Пітер Браун

140 грн
Купить Звездная пыль (илл. Чарльз Весс)

Звездная пыль (илл. Чарльз Весс)

Нил Гейман

620 грн
Купить Современная электросеть. Практикум электрика. Книга + видеокурс на DVD

Современная электросеть. Практикум электрика. Книга + видеокурс на DVD

М. Штерн

375 грн
Купить Любомир Гузар Хочу бути Людиною

Любомир Гузар Хочу бути Людиною

Катерина Щоткіна

125 грн
Купить Изучай Erlang во имя добра!

Изучай Erlang во имя добра!

Фред Хеберт

1 000 грн
Купить Маленькие принципы больших публичных выступлений

Маленькие принципы больших публичных выступлений

Роман Поздеев

243 грн
Купить Коробка-сумочка, сливовая, большая 27х20х9 см (подарочная)

Коробка-сумочка, сливовая, большая 27х20х9 см (подарочная)

120 грн
Купить Русалонька із 7-В. Дуже морська історія. Книга 5

Русалонька із 7-В. Дуже морська історія. Книга 5

Марина Павленко

115 грн
Купить Скретч карта Европы My Map Europe edition

Скретч карта Европы My Map Europe edition

350 грн
Купить Java. Карманный справочник

Java. Карманный справочник

Роберт Лигуори, Патриция Лигуори

270 грн
Купить Хронология. Путешествие сквозь века

Хронология. Путешествие сквозь века

Петер Гюс

552 грн
Купить Искусство программирования, том 4А. Комбинаторные алгоритмы, часть 1

Искусство программирования, том 4А. Комбинаторные алгоритмы, часть 1

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

1 260 грн
Купить Путеводитель по лжи. Критическое мышление в эпоху постправды

Путеводитель по лжи. Критическое мышление в эпоху постправды

Дэниел Левитин

396 грн
Купить Манюня

Манюня

Наріне Абґарян

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

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

Литвин Н.Б.

760 грн
Купить Шантарам (черное оформление)

Шантарам (черное оформление)

Грегори Дэвид Робертс

250 грн
Купить Дівчина у потягу (кiнообкладинка)

Дівчина у потягу (кiнообкладинка)

Пола Хокинс

110 грн
Купить Испытание ребенком. Как не дать счастью разрушить отношения

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

Джон Готтман, Джули Шварц-Готтман

361 грн
Купить Смачні страви за 30 хвилин від Джеймі

Смачні страви за 30 хвилин від Джеймі

Джейми Оливер

350 грн
Купить Системное программирование +дискета

Системное программирование +дискета

Компаниец

8 грн
Купить Фредерик Кук на вершине континента. Возвращаем Мак-Кинли великому американцу

Фредерик Кук на вершине континента. Возвращаем Мак-Кинли великому американцу

Дмитрий Шпаро

393 грн
Купить A Christmas Carol in Prose / Різдвяна пісня у прозі. Рівень «Intermediate»

A Christmas Carol in Prose / Різдвяна пісня у прозі. Рівень «Intermediate»

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

35 грн
Купить Spring. Все паттерны проектирования

Spring. Все паттерны проектирования

Динеш Раджпут

950 грн
Купить У меня растет сын! Как воспитать настоящего мужчину

У меня растет сын! Как воспитать настоящего мужчину

Ян Грант

190 грн
Купить Двадцать тысяч лье под водой

Двадцать тысяч лье под водой

Жюль Верн

74 грн
Купить Космос — это интересно!

Космос — это интересно!

Софи де Мюлленхейм

475 грн
Купить Методичні рекомендації з бухгалтерського обліку: щодо заповнення форм фінансової звітності, перевірки порівнянності показників фінансової звітності, о

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

Безверхий К.В.

49 грн
Купить Проверяй-ка. English. Учим слова. Животные

Проверяй-ка. English. Учим слова. Животные

130 грн
Купить Санкт-Петербург

Санкт-Петербург

Левитт Р.

120 грн
Купить Простой Python. Современный стиль программирования

Простой Python. Современный стиль программирования

Билл Любанович

594 грн
Купить Музыкальный компьютер для начинающих (+CD)

Музыкальный компьютер для начинающих (+CD)

Петелин Роман

79 грн
Купить Assassin's Creed. Ренессанс

Assassin's Creed. Ренессанс

Оливер Боуден

160 грн
Купить Комплект игры «Thinkers Пірати проти Адміралів»

Комплект игры «Thinkers Пірати проти Адміралів»

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

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

15 грн
Купить Акварель для начинающих

Акварель для начинающих

Клаудиа Найс

315 грн

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

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

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

Ведель Е.

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

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

Чевганова В. Я.

133 грн
120 грн
Купить Аукционы: подготовка, проведение, судебные споры

Аукционы: подготовка, проведение, судебные споры

Медведев М.Ю., Насонов А.

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

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

Пєтков В.П.

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

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

Литвин Н.Б.

760 грн
Купить 100 експрес-уроків української.Частина 1

100 експрес-уроків української.Частина 1

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

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

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

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

73 грн
37 грн
Купить Базовий курс інформатики Кн. 1. Основи інформатики. 8-11кл.

Базовий курс інформатики Кн. 1. Основи інформатики. 8-11кл.

Руденко В.Д. та ін.

45 грн
36 грн
Купить Базовий курс інформатики Кн. 2. Інформаційні технології. 8-11кл.

Базовий курс інформатики Кн. 2. Інформаційні технології. 8-11кл.

Руденко В.Д. та ін.

45 грн
36 грн
Купить Граматика української мови в таблицях

Граматика української мови в таблицях

Святослав Вербич

39 грн
Купить Безпека життєдіяльності. Підручник затверджений МОН України

Безпека життєдіяльності. Підручник затверджений МОН України

Запорожець О.І.

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

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

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

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

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

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

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

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

Мулик Т. О.

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

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

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

217 грн
196 грн
Купить Высокоуровневые методы Изд.2 информатики и программирования.

Высокоуровневые методы Изд.2 информатики и программирования.

Истомин Е.П., Новиков В.В

73 грн
37 грн
Купить Практикум і робочий зошит з інформатики. 10 клас

Практикум і робочий зошит з інформатики. 10 клас

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

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

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

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

225 грн
113 грн
Купить Основы медицинской информатики. Учебник

Основы медицинской информатики. Учебник

Королюк И.П.

70 грн
35 грн
Купить Основи економічної культури. Навчальний посібник

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

Сур’як А. В.

44 грн
31 грн

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

Всего цитат
0

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

Отзывы

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

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