Electronic catalog
Start with М
Genre:Естественные науки (natural_sciences)
theme:Математика и естественные науки
language:Russian
publication type:book
Search result:
411-420 of 440
book
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
UDC:
510.6(075.8)
Shelf code:
Л 2007/4635
Subject headings
- Математическая логика
Annotation
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Keywords
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
1/1 Free
book
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
UDC:
510.5/6(075.8)
Shelf code:
Л 2008/3754
Subject headings
- Теория алгоритмов
- Математическая логика
Annotation
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Keywords
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
1/1 Free
book
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 2008. - 223, [1] с., формула;– (Высшее образование. : серия основана в 1996 г. . – Библиогр.: с. 212-214 . – 1500 экз. – ISBN 978-5-16-001975-8 (ИНФРА-М), ISBN 978-5-7782-0458-4 (НГТУ) (в пер.) : 1100 тг.
UDC:
510.6(075.8)
Shelf code:
Л 2008/2382
Subject headings
- Математическая логика и теория алгоритмов
Annotation
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Keywords
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
2/2 Free
book
КЛАЙН МОРИС
Математика. Утрата определенности = Mathematics. The Loss of Certainty [Текст] / М. Клайн ; перевод с английского Ю. А. Данилова ; под редакцией И. М. Яглома... – Москва : Мир, 1984. - 445, [1] c., ил.; . – Библиогр.: с. 424-432. - Имен. указатель: с. 433-437, предметный указатель: с. 438-444 . – 50000 экз. (в пер.) : 50 тг.
UDC:
51(091)
Shelf code:
Л 2004/5338
Subject headings
- История математики
Annotation
Книга американского профессора математики о развитии математики с древнейших времен до наших дней, в которой автор пытается разъяснить сущность математики и стремится ознакомить с фундаментальными проблемами, которые возникли в математике в конце XIX и в XX веке
Keywords
история математики, математическая наука, математические истины, математика в современном мире
3/3 Free
book
Механика тектонических процессов [Текст] / ; Академия наук Казахской ССР ; Институт сейсмологии ; [редкол.: Ж. С. Ержанов [и др.]]... – Алма-Ата : Наука, 1983. - 191 с., ил.; . . – 1000 экз. (в пер.) : 70 тг.
UDC:
551.24
Shelf code:
Л 2006/21345
Subject headings
- Геотектоника
Annotation
Изложены основные предпосылки теории тектонического развития Земли, представленной комплексом внешних и внутренних движущих сил и механизмов
Keywords
геологическое развитие Земли, механика, геофизика, тектонические процессы, прогноз землетрясений, геотектоника Земли
Kazakhstan
2/2 Free
book
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
Микробиологические превращения металлов [Текст] / А. Н. Илялетдинов ; Академия наук КазССР ; Ин-т микробиологии и вирусологии ; [отв. ред.: Г. И. Каравайко]... – Алма-Ата : Наука Казахской ССР, 1984. - 267, [1] с., ил.; . – Библиогр.: с. 233-266 . – 1000 экз. (в пер.) : 70 тг.
UDC:
579.68:669.01
Shelf code:
Л 2008/4498
Subject headings
- Водная микробиология. Превращения металлов
Annotation
Рассматривается влияние ионов металлов на выживаемость и обменные процессы у микроорганизмов, взаимодействие металлов с микроорганизмами и продуктами их жизнедеятельности, окисление и восстановление переменновалентных металлов
Keywords
водная микробиология, превращения металлов, тяжелые металлы, поглощение металлов, микробиологическое окисление, переменновалентные металлы, микроорганизмы, влияние металлов, микробиологическая трансформация металлов
Kazakhstan
3/3 Free
book
Магматические и метаморфические комплексы Казахстана [Текст] : труды 2-го Казахстанского петрографического совещания ; ; Академия Наук СССР, Академия наук Казахской ССР, Министерство геологии СССР, Министерство геологии Казахской ССР ; [гл. ред. А. А. Абдулин] .- Алма- Ата : Наука Казахской ССР , 1976.– 800 экз. . (в пер.) Библиогр.: с. 237-247 Ч. 1 .– 256 с., ил. . (в пер.) : 260 тг.
UDC:
552(062.2)(574)
Shelf code:
У 2010/4364
Subject headings
- Сборник научных трудов по вопросам петрографии в Казахстане
Annotation
В докладах освещен широкий круг проблем магматической, метаморфической и метасоматической геологии Казахстана
Keywords
петрография, магматические образования, металлогении, вулканизм Казахстана, метасоматическая геология, метаморфическая геология, магматическая геология, гранитоидные комплексы Казахстана
Kazakhstan
2/2 Free
book
НУРЛЫБАЕВ АБДРАХМАН НУРЛЫБАЕВИЧ
Минералогия щелочных интрузий Казахстана [Текст] / А. Н. Нурлыбаев ; Академия наук Казахской ССР, Институт геологических наук им. К. И. Сатпаева ; [отв. ред. И. И. Бок]... – Алма- Ата : Изд-во Наука КазССР, 1976. - 230 с., [1] л. табл. : ил.; . – Библиогр.: с. 225-229 . – 800 экз. (в пер.) : 260 тг.
UDC:
552.33(574)
Shelf code:
У 2010/4369
Subject headings
- Щелочные породы Казахстана
Annotation
В основу настоящей работы положены результаты всесторонних геолого-минералогических исследований щелочных формаций Казахстана
Keywords
минералогия Казахстана, щелочные породы, полезные ископаемые Казахстана, щелочные формации, породообразующие минералы щелочных интрузий, типоморфные акцессорные минералы, нефелиновые сиениты, рудные минералы
2/2 Free
book
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
Может ли человек изменить климат : 2 проекта / П. М. Борисов ; предисловие В. М. Котлякова ; художественное оформление: Г. М. Берштейн, Л. И. Орлова ; Российская академия наук. – 3-е изд. .. – Москва : Наука, 2005. - 267, [2] c., ил. : табл. : [1] к.;– (Научно-популярная литература. . . – ISBN 5-02-032881-2 (в пер.)
UDC:
551.5
Shelf code:
Л 2006/18150
Subject headings
- Метеорология. Климатология
Annotation
Вернуть теплые климаты далекого прошлого Земли инженер и географ П. М. Борисов (1901-1973) предлагает путями, которыми эволюция климата шла в самой природе
Keywords
климат Земли, климат, климатология, метеорология, история географии
1/1 Free
book
КУСТО ЖАК-ИВ
Могучий властелин морей [Текст] : Подводные исследования Ж.-И. Кусто / Ж.-И. Кусто Ф. Диоле ; [перевод с английского с незначительными сокращениями Н. Елисеева ; научная консультация, примечания и послесловие А. В. Яблокова ; художник Е. Адамов]... – Москва : Мысль, 1977. - 187, [1] с., ил.; . . – 80000 экз. (в пер.) : 80 тг.
UDC:
569.5
Shelf code:
Л 2004/5054
Subject headings
- Китообразные
Annotation
В книге рассказывается о ярком, богатом мире Индийского, Атлантического и Тихого океанов, об интереснейших наблюдениях над китами в их родной среде
Keywords
китообразные, морские животные, киты, млекопитающие, подводные исследования
1/1 Free
book
1/1 Free
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
book
1/1 Free
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
book
2/2 Free
book
3/3 Free
МЕХАНИКА ТЕКТОНИЧЕСКИХ ПРОЦЕССОВ (1983)
book
2/2 Free
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
МИКРОБИОЛОГИЧЕСКИЕ ПРЕВРАЩЕНИЯ МЕТАЛЛОВ (1984)
book
3/3 Free
МАГМАТИЧЕСКИЕ И МЕТАМОРФИЧЕСКИЕ КОМПЛЕКСЫ КАЗАХСТАНА (1976)
book
2/2 Free
НУРЛЫБАЕВ АБДРАХМАН НУРЛЫБАЕВИЧ
МИНЕРАЛОГИЯ ЩЕЛОЧНЫХ ИНТРУЗИЙ КАЗАХСТАНА (1976)
book
2/2 Free
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
МОЖЕТ ЛИ ЧЕЛОВЕК ИЗМЕНИТЬ КЛИМАТ (2005)
book
1/1 Free
book
1/1 Free