Electronic catalog
Genre:Языкознание (linguistics)
theme:Математика и естественные науки
language:Russian
catalogue:Books
Search result:
1-2 of 2
book
ВЕРЕЩАГИН, НИКОЛАЙ КОНСТАНТИНОВИЧ
Языки и исчисления : Лекции по математической логике и теории алгоритмов / Верещагин, Николай Константинович Щень, Александр . – Изд. 4-е, испр. .. – Москва : МЦНМО, 2012. - 240 c.– (Современные лекционные курсы. . – Библиогр.: С. 224-240 . – 1000 экз. – 978-5-4439-0013-1 : 7140 тг.
UDC:
510.6
Shelf code:
Л 2012/37947
Subject headings
- Математическая логика
Annotation
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ, рассказывается об основных понятиях математической логики
Keywords
логика высказываний, исчисление высказываний, исчисление предикатов, языки первого порядка, математическая логика
1/1 Free
book
Словарь по геологии нефти и газа / ... – Ленинград : Недра. Ленингр. отд-ние, 1988. - 678, [1] c., ил.; . . – 13 000 экз. – 5-247-00001-3 (в пер.) : 28 тг.
UDC:
553.981/.982(038)
Shelf code:
Л 2013/40327
Subject headings
- Месторождения газообразных углеводородов и нефти
Annotation
В справочнике изложены более 3000 терминов, охватывающих смысловую базу нефтегазовой геологии; приведены справочные данные об основных нефтегазоносных районах мира, о месторождениях нефти, газа, конденсата и природных битумов, об основных нефтегазоносных свитах
Keywords
геология нефти и газа, газообразные углеводороды, нефтегазовая геология, словарь по геологии нефти, нефтегазоносные месторождения
2/2 Free
book
1/1 Free
СЛОВАРЬ ПО ГЕОЛОГИИ НЕФТИ И ГАЗА (1988)
book
2/2 Free