Теория логического вывода
Description
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Technical Details
| abonement: | true |
| age: | 0 |
| author: | А. В. Ганичева |
| genres_list: | 5312 |
| ISBN: | 978-5-8114-7284-0 |
| lang: | ru |
| publisher: | Издательство ЛАНЬ |
| Type: | book |
| Форматы: |
Price history chart & currency exchange rate
Customers also viewed
-47%
1%
1,016.00 руб.
Шариковый антиперспирант с минеральной гиалуроновой кислотой, 50 мл Garnier, Deo
cdek.shopping
+3%
1%
~ 200,780.00 руб.
High Speed Pre-Milling Fine Trimming Functions Edge Banding Machine for Wooden Furniture Processing
aliexpress.com
+1%
1%
~ 1,330.00 руб.
Дешевая оптовая продажа, Новинка весна-осень 2021, модная повседневная женская футболка, красивые женские топы, женские футболки BAt6397
aliexpress.ru
1%
~ 3,640.00 руб.
Клавиатура для ноутбука Smart7 Fobos GX15D G1, английская, США, без рамки, Новинка
aliexpress.ru
+1%
1%
~ 103.00 руб.
Thickened Easter Egg Lollipop Silicone Mold Chocolate Cheese Moulds DIY Candy Fondant Gadgets Cake Decorating Accessories Tool
aliexpress.com
+1%
1%
~ 1,810.00 руб.
OS030 Womens Patchwork Floral Print Jumpsuit, Casual Loose-fitting Print Jumpsuit For Women, Plus Size
dx.com
-5%
1%
~ 3,030.00 руб.
3X French Coffee Maker Small French Press Perfect For Morning Coffee Maximum Flavor Coffee Brewer With Filtration
aliexpress.com
+1%
1%
~ 2,310.00 руб.
Новый костюм для классических танцев, Женский танцевальный костюм, одежда для выступлений, топ, китайская танцевальная одежда, свободные штаны, одежда для тренировок
aliexpress.ru
+2%
1%
~ 1,060.00 руб.
Автомобильная внешняя деталь, держатель для очков на кронштейне, задняя панель навигатора для Tesla Model 3, модель Y
aliexpress.ru
+1%
1%
~ 3,990.00 руб.
Casual Comfortable Women's Vulcanize Shoes Breathable Mesh Zapatillas De Mujer Platform Sneakers Women Fall Zapatos Mujer
aliexpress.com
+1%
1%
~ 43,850.00 руб.
OdontosemGalantia рекомендуется рядом с удобным брендовым рентгеновским датчиком, USB-соединение, компьютерная система визуализации, большая женская/600C 3
aliexpress.com
+11%
1%
~ 1,730.00 руб.
Осенний Элегантный женский пуловер, вязаный Топ, однотонный облегающий дизайнерский базовый свитер с длинным рукавом, женская одежда
aliexpress.ru
+1%
1%
~ 6,240.00 руб.
100x Lovely Doc Doctor McStuffins Brown Face Iron On patches Shirt Hat Jean shoes Applique (≈ 5.7*4.7 cm)
aliexpress.com
-1%
1%
~ 252.00 руб.
Halloween Dog Cat Bibs Bandana Soft Triangle Scarf Ghost Festival Cosplay Dog Accessories Kitten Puppy Cotton Reflective Bandana
aliexpress.ru
+22%
1%
~ 5,090.00 руб.
KUILIU Geometric Tribal Pattern Women Casual Sneaker Famale Lace Up Flat Shoes Free Shipping Custom Breathable Mesh Sneakers
aliexpress.com
+5%
1%
~ 3,160.00 руб.
100% Оригинальный 18В 10ah перезаряжаемый литий-ионный аккумулятор для Bosch 18В 6.0A резервная батарея портативная запасная батарея BAT609
aliexpress.ru
+1%
1%
~ 10,520.00 руб.
Zen Garden Incense Burner Backflow Smoke Waterfall Lotus Candle Holder Decoration Ramadan 2022 Incienso Cascada Incense Burner
aliexpress.com
+1%
1%
~ 2,600.00 руб.
Автоматический регулятор напряжения для Kipor AVR, KI-DAVR-95S генератор, регулятор напряжения DAVR 95S 10 кВт
aliexpress.com
+1%
1%
~ 137.00 руб.
A1238 Cute Characters for Games Enamel Pins Women's Brooch on Clothes Anime Badges Lapel Pins for Backpacks Jewelry Accessories
aliexpress.com
+2%
1%
~ 210.00 руб.
10/30/50 шт. Дисней милые Русалочка Ариэль принцесса мультфильм наклейки записки ноутбук телефон граффити наклейка для девочек малыш
aliexpress.ru
+1%
1%
~ 680.00 руб.
Basket Tray Bamboo Woven Fruit Wicker Baskets Serving Storage Round Sieve Flat Shallow Weaving Bread Farmhouse Vegetable
aliexpress.ru
1%
~ 2,780.00 руб.
61-Piece Flatware Set with Wire Caddy Steak knives Set de cocina Kawaii tableware Restaurant Wooden bowl Chopstick and spoon set
aliexpress.com
