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