Дискретная математика. Формально-логические системы и языки
sku: 10414625
2,190.00 руб.+10%
2,409.00 руб.
Shipping from: Russia
Description
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники
Национального исследовательского университета Московский энергетический институт.
Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.
Национального исследовательского университета Московский энергетический институт.
Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.
Technical Details
binding: | 70х100/16 |
ISBN: | 978-5-97-060622-3 |
page_extent: | 390 |
publisher: | ДМК Пресс |
Type: | book |
year: | 2018 |
Price history chart & currency exchange rate
Customers also viewed
-1%
1%
~ 1,030.00 руб.
Toshiba Satellite P855-32C Adaptör, Güçlü Güvenli Şarj Cihazı A++, Diğer
vuuzoo.com+4%
1%
~ 2,340.00 руб.
Mini SAS SFF-8087 Connector to PCI Express PCI-E 1X Expansion Riser Card With 4 SATA 3.0 Hard Disk Data Extension Cable 70CM
aliexpress.com+1%
1%
~ 4,300.00 руб.
3.0 Inch Fog Light Projector Lens 12000LM Bi-Xenon HID Fog Lamp for Toyota Corolla Yaris Avensis Camry RAV4 Lexus H11
aliexpress.com+1%
1%
~ 250.00 руб.
Fashion sexy long tassel crystal women's Pendant Earrings shiny Rhinestone statement earrings for women's Bar Party Jewelry
aliexpress.ru+2%
1%
~ 144.00 руб.
1 шт., 8 см, прозрачные рождественские светодиодные шарики, украшение для дома, наполнитель с блестками, цветами или конфетами, украшение для рождественской вечеринки
aliexpress.ru+1%
1%
~ 2,960.00 руб.
Новинка лета 2023, новый топ с принтом в стиле пэчворк, Женская мода в Европе и Америке BAI2
aliexpress.ru-36%
1%
~ 7,670.00 руб.
XUX9ARCNT16 Photoelectric sensors XU, XUX, polarised, Sn 11 m, 24...240VAC/DC, terminals
aliexpress.com1%
~ 7,650.00 руб.
Simple Yellow Silk Satin Mermid Sleeveless Evening Dress With Scalf Sexy Backless Sexy Party Dress Saudi Arabic Prom Gowns Beach
aliexpress.com+1%
1%
~ 1,880.00 руб.
Устройство для чтения автомобиля, Рабочая лампа, вращение на 360 °, гибкий шланг
aliexpress.ru1%
1,696.69 руб.
Зелёный цвет 3-4 Years, одежда для девочки одежда хлопок длинный рукав одежда 0 3 6 9 месяцев
jd.ru+1%
1%
~ 575.00 руб.
Колпачки для аналоговых стиков FPS для контроллера Xbox one колпачки для удлинения джойстика для Xbox серии X аксессуары
aliexpress.ru+1%
1%
~ 30,560.00 руб.
2Pcs Front Side Hood Vent Trims Fit for Mitsubishi Outlander 2013-2021
aliexpress.com+1%
1%
~ 880.00 руб.
Spanish Air Force AS 365 Dauphin Helicopter T-Shirt. Premium Cotton Short Sleeve O-Neck Mens T Shirt New S-3XL
aliexpress.com1%
~ 3,980.00 руб.
Женская короткая куртка с вышивкой, элегантная бейсбольная куртка во французском стиле с длинным рукавом и воротником-стойкой, корейская мода, осень 2022
aliexpress.ru-1%
1%
~ 9,130.00 руб.
High Quality Plus Size New Autumn Double Breasted Flare Sleeve Belt Solid Windbreaker Coats Women Loose Female Trench Coat Tops
aliexpress.com+1%
1%
~ 870.00 руб.
Против деформации шкафчик для косметики Pet Высококачественная корзина для хранения, новинка, компактная косметика, Настольный ящик
aliexpress.com1%
~ 1,400.00 руб.
TOMY Anime Figure Shaymin Doll Pokemon Go Elf Figure Large PF Model Toy Collections for Children Gifts Children Toys
aliexpress.com1%
~ 452.00 руб.
Drdent 10PCS/Bag Orthodomtic Ceramic Composite Round/Rect Lingual Buttons Clear Tongue Tamer Bite Opener Traction
aliexpress.com+1%
1%
~ 1,210.00 руб.
Youth of Vigor Solid 925 Silver Solitaire Zircon Ear Cuffs Original Party Woman Earrings E1150 1 Piece
aliexpress.com+2%
1%
~ 3,450.00 руб.
Электрический Интеллектуальный вакуумный контейнер для пищевых продуктов, контейнер для хранения зерна, Вакуумный Автоматический герметичный влагостойкий контейнер для пищевых продуктов для домашних животных
aliexpress.ru+1%
1%
~ 1,030.00 руб.
Морская ракушка, дверь ветра и искусственное натуральное украшение для дома
aliexpress.com+1%
1%
~ 555.00 руб.
Облегающий боди, элегантный кружевной боди с цветочной вышивкой, Глубокий V-образный вырез, длинные рукава, облегающий, дышащий, для весны
aliexpress.ru-1%
1%
~ 345.00 руб.
Baby Rattles Soft Cartoon Cute Plush Animal Rattle Toys Infant Educational Handbells Soft Newborn Comfort Baby Toys
aliexpress.com+1%
1%
~ 920.00 руб.
JusaHy Women New Y2K Black&Apricot Sexy&High Street Criss-Cross Bandage Elastic Backless Dress Halter Neck Hollow Slim Hip Dress
aliexpress.com+1%
1%
~ 24.70 руб.
Badminton Sweat Belt Fishing Tape Overgrip Tennis Racket Band Towel Hand Glue Takeup Strap Handshake Handle Random Color
aliexpress.com