Электронды каталог
Я басталады
Жанр:Тіл білімі (linguistics)
Тақырыптама:Математика и естественные науки
Нәтежелер:
1-1 из 1
кітап
ВЕРЕЩАГИН, НИКОЛАЙ КОНСТАНТИНОВИЧ
Языки и исчисления : Лекции по математической логике и теории алгоритмов / Верещагин, Николай Константинович Щень, Александр . – Изд. 4-е, испр. .. – Москва : МЦНМО, 2012. - 240 c.– (Современные лекционные курсы. . – Библиогр.: С. 224-240 . – 1000 экз. – 978-5-4439-0013-1 : 7140 тг.
ӘОЖ индексі:
510.6
Сөрмелік мүқам:
Л 2012/37947
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ, рассказывается об основных понятиях математической логики
Кілт сөздер
логика высказываний, исчисление высказываний, исчисление предикатов, языки первого порядка, математическая логика
ВЕРЕЩАГИН, НИКОЛАЙ КОНСТАНТИНОВИЧ
ЯЗЫКИ И ИСЧИСЛЕНИЯ (2012)
кітап
1/1 Бос