Lugege ainult LitRes'is

Raamatut ei saa failina alla laadida, kuid seda saab lugeda meie rakenduses või veebis.

Основной контент книги Теория логического вывода. Учебное пособие для вузов
ТекстtekstPDF

Maht 93 leheküljed

2024 aasta

0+

Теория логического вывода. Учебное пособие для вузов

2-е издание, стереотипное
autor
А. В. Ганичева
PDF
0
Jäta arvustus
Raamat vene keeles
Lugege ainult LitRes'is

Raamatut ei saa failina alla laadida, kuid seda saab lugeda meie rakenduses või veebis.

€3,48

Raamatust

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.

Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальности «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.

Kuulub sarja "Высшее образование (Лань)"
Kõik sarja raamatud

Jätke arvustus

Logi sisse, et hinnata raamatut ja jätta arvustus
Raamat «Теория логического вывода. Учебное пособие для вузов» — loe veebis. Jäta kommentaare ja arvustusi, hääleta lemmikute poolt.
Vanusepiirang:
0+
Ilmumiskuupäev Litres'is:
10 august 2021
Kirjutamise kuupäev:
2024
Objętość:
93 lk
ISBN:
978-5-507-51643-8
Üldsuurus:
1.2 МБ
Lehekülgede koguarv:
93
Õiguste omanik:
Издательство ЛАНЬ

Selle raamatuga loetakse

Autori teised raamatud