Теория логического вывода
Description
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Technical Details
| author: | Ганичева Антонина Валериановна |
| ISBN: | 978-5-8114-7284-0 |
| series: | Математика |
| year: | 2021 |
Price history chart & currency exchange rate
Customers also viewed
7%
510.00 руб.
Банцхаф Хайо "Математика и Душа. Числовой символизм в магии, астрологии и психологии ".
happywitch.ru
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 1"
bunnyhill.ru
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 2"
bunnyhill.ru
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Задачи. Уровень 1"
bunnyhill.ru
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 2"
bunnyhill.ru
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 1"
bunnyhill.ru
-18%
1%
~ 2,700.00 руб.
Комплект постельного белья с мультипликационным принтом Минни Микки Маус 140x200 см пододеяльник наволочки домашний текстиль для детей полный Королевский
aliexpress.ru
1%
51,300.00 руб.
Водонагреватель электрический проточный Stiebel Eltron DCE-X 6/8 кВт Premium (220В) 238158
duim24.ru
+1%
1%
~ 63.50 руб.
2PCS 6/8/10mm Diamond Coated Core Drill Bit Round Shank Blue Multi-purpose Drill Bits For Glass Marble Power Tool Accessories
aliexpress.com
+2%
1%
~ 190.00 руб.
50 pieces Original spot TS321ILT screen printing K401 patch SOT 23-5 amplifier chip output 40 mA
aliexpress.ru
1%
~ 222.00 руб.
Классический винтажный Чехол для телефона в старинном стиле ретро для Xiaomi 8 9 11 9T 12 13 11T 9SE 11i Lite Ultra Note10 Poco F3 M4 M3 X4 GT Pro, чехол
aliexpress.ru
-52%
1%
~ 4,710.00 руб.
Волосы Coda, классические, 1 упаковка, 22 дюйма, 18 дюймов, 16 дюймов, 14 дюймов, 12 дюймов, с полной кутикулой, выровненные, 100%, волнистые, черные, светлые, пряди волос, 100, г/шт.
aliexpress.ru
+1%
1%
~ 2,700.00 руб.
Digital oil painting filling Chinese auspicious Ruyiyi Goldfish Carp Porch decoration color oil color acrylic painting
aliexpress.com
-1%
1%
~ 885.00 руб.
Большая вязаная бутылка для горячей воды 1000 мл, однотонная сумка с наполнением водой, тканевый чехол, грелка для рук, зимняя мягкая бутылка д...
aliexpress.ru
+4%
1%
~ 159,870.00 руб.
Бесщеточный (DAPU) E трехколесный велосипед для всей семьи, Электрический 3-колесный велосипед Tourney, 6/7 скоростей, туризм, досуг, Франция, Испания
aliexpress.ru
+8%
1%
~ 176.00 руб.
1pair Polka Dot Sexy Mesh Fishnet Stockings Japanese Style Ultra-thin Long Socks High Elastic Transparent Summer Over Knee Socks
aliexpress.com
-12%
1%
~ 1,050.00 руб.
688RS Bearing 10PCS 8*16*5 mm ABEC-7 Hobby Electric RC Car Truck 688 RS 2RS Ball Bearings 688-2RS Double Sealed
aliexpress.com
-1%
1%
~ 4,030.00 руб.
Durable Cookware Pan Soup Pot Cookware Frying Kettle Kit Pan Portable Pot Supplies Camping Outdoor Sporting Goods
aliexpress.com
-1%
1%
~ 181.00 руб.
Waist bag for running waterproof for men women gym bag for sports For iPhone 13 mini X XR Xs Max 8 7 6 Plus Xiaomi Redmi Note 9
aliexpress.com
-1%
1%
~ 192.00 руб.
1/2" 3/4" 1" NPT Male Threaded Reducing Copper Water Gas Adapter Coupler Connector 304 Stainless Steel Pipe Fitting
aliexpress.com
-8%
1%
~ 415.00 руб.
EN-EL5 ENEL5 аккумулятор + светодиодный зарядное устройство 1800 мАч для Nikon Coolpix P530 P520 P510 P100 P500 P5000 P5100 P6000 3700 4200
aliexpress.ru
+1%
1%
~ 469.00 руб.
Inflatable Golden Champion Trophy Balloons Simulation Competition Trophy Children Win Party Supplies Random Color
aliexpress.com
-3%
1%
~ 595.00 руб.
Baby Stroller Hanging Bag Cartoon Storage Bag Storage Bag Multifunctional Large Capacity Universal Stroller Accessories
aliexpress.com
1%
246.00 руб.
Nail Art Stamp Single Head Non-Deformed Fluorescent Silicone Nail Stamper Scraper Transparent Tool
joom.ru
