Электронный каталог
Начинается с М
Тематика:Математика и естественные науки
Язык издания:Русский
Вид издания:книга(book)
Результат поиска:
491-500 из 521
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1721143662694&key=d09f346084648fea0ca868c453959dcb)
книга(book)
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
УДК:
510.6(075.8)
Полочный шифр:
Л 2007/4635
Предметная рубрика
- Математическая логика
Аннотация
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Ключевые слова
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
1/1 Свободно
![](/FileStore/dataFiles/4a/82/96957/content/cover.png?time=1721143662698&key=f468bf3c6e43fe86919ef3b58391d601)
книга(book)
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
УДК:
510.5/6(075.8)
Полочный шифр:
Л 2008/3754
Предметная рубрика
- Теория алгоритмов
- Математическая логика
Аннотация
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Ключевые слова
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
1/1 Свободно
![](/FileStore/dataFiles/63/99/134192/content/cover.png?time=1721143662699&key=38352bab62477dc8785b35ebf1112156)
книга(book)
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 2008. - 223, [1] с., формула;– (Высшее образование. : серия основана в 1996 г. . – Библиогр.: с. 212-214 . – 1500 экз. – ISBN 978-5-16-001975-8 (ИНФРА-М), ISBN 978-5-7782-0458-4 (НГТУ) (в пер.) : 1100 тг.
УДК:
510.6(075.8)
Полочный шифр:
Л 2008/2382
Предметная рубрика
- Математическая логика и теория алгоритмов
Аннотация
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Ключевые слова
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
2/2 Свободно
![](/FileStore/dataFiles/b7/88/1011364/content/cover.png?time=1721143662700&key=4972e0d989e22006a5588a791217722c)
книга(book)
КЛАЙН МОРИС
Математика. Утрата определенности = Mathematics. The Loss of Certainty [Текст] / М. Клайн ; перевод с английского Ю. А. Данилова ; под редакцией И. М. Яглома... – Москва : Мир, 1984. - 445, [1] c., ил.; . – Библиогр.: с. 424-432. - Имен. указатель: с. 433-437, предметный указатель: с. 438-444 . – 50000 экз. (в пер.) : 50 тг.
УДК:
51(091)
Полочный шифр:
Л 2004/5338
Предметная рубрика
- История математики
Аннотация
Книга американского профессора математики о развитии математики с древнейших времен до наших дней, в которой автор пытается разъяснить сущность математики и стремится ознакомить с фундаментальными проблемами, которые возникли в математике в конце XIX и в XX веке
Ключевые слова
история математики, математическая наука, математические истины, математика в современном мире
3/3 Свободно
![](/FileStore/dataFiles/0c/d1/438327/content/cover.png?time=1721143662701&key=7f0e2656da01527d43a047f0c74e0c3e)
книга(book)
Механика тектонических процессов [Текст] / ; Академия наук Казахской ССР ; Институт сейсмологии ; [редкол.: Ж. С. Ержанов [и др.]]... – Алма-Ата : Наука, 1983. - 191 с., ил.; . . – 1000 экз. (в пер.) : 70 тг.
УДК:
551.24
Полочный шифр:
Л 2006/21345
Предметная рубрика
- Геотектоника
Аннотация
Изложены основные предпосылки теории тектонического развития Земли, представленной комплексом внешних и внутренних движущих сил и механизмов
Ключевые слова
геологическое развитие Земли, механика, геофизика, тектонические процессы, прогноз землетрясений, геотектоника Земли
Казахстаника
2/2 Свободно
![](/FileStore/dataFiles/4b/3a/97357/content/cover.png?time=1721143662709&key=337bb8a94572b0ea3108fe6974ced194)
книга(book)
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
Микробиологические превращения металлов [Текст] / А. Н. Илялетдинов ; Академия наук КазССР ; Ин-т микробиологии и вирусологии ; [отв. ред.: Г. И. Каравайко]... – Алма-Ата : Наука Казахской ССР, 1984. - 267, [1] с., ил.; . – Библиогр.: с. 233-266 . – 1000 экз. (в пер.) : 70 тг.
УДК:
579.68:669.01
Полочный шифр:
Л 2008/4498
Предметная рубрика
- Водная микробиология. Превращения металлов
Аннотация
Рассматривается влияние ионов металлов на выживаемость и обменные процессы у микроорганизмов, взаимодействие металлов с микроорганизмами и продуктами их жизнедеятельности, окисление и восстановление переменновалентных металлов
Ключевые слова
водная микробиология, превращения металлов, тяжелые металлы, поглощение металлов, микробиологическое окисление, переменновалентные металлы, микроорганизмы, влияние металлов, микробиологическая трансформация металлов
Казахстаника
3/3 Свободно
![](/FileStore/dataFiles/f2/f3/1021592/content/cover.png?time=1721143662718&key=6a9778744ef6c15087fb5e7350482ea4)
книга(book)
Магматические и метаморфические комплексы Казахстана [Текст] : труды 2-го Казахстанского петрографического совещания ; ; Академия Наук СССР, Академия наук Казахской ССР, Министерство геологии СССР, Министерство геологии Казахской ССР ; [гл. ред. А. А. Абдулин] .- Алма- Ата : Наука Казахской ССР , 1976.– 800 экз. . (в пер.) Библиогр.: с. 237-247 Ч. 1 .– 256 с., ил. . (в пер.) : 260 тг.
УДК:
552(062.2)(574)
Полочный шифр:
У 2010/4364
Предметная рубрика
- Сборник научных трудов по вопросам петрографии в Казахстане
Аннотация
В докладах освещен широкий круг проблем магматической, метаморфической и метасоматической геологии Казахстана
Ключевые слова
петрография, магматические образования, металлогении, вулканизм Казахстана, метасоматическая геология, метаморфическая геология, магматическая геология, гранитоидные комплексы Казахстана
Казахстаника
2/2 Свободно
![](/FileStore/dataFiles/31/bf/1021162/content/cover.png?time=1721143662728&key=22f2e019025eaab1a80af70da0785c91)
книга(book)
НУРЛЫБАЕВ АБДРАХМАН НУРЛЫБАЕВИЧ
Минералогия щелочных интрузий Казахстана [Текст] / А. Н. Нурлыбаев ; Академия наук Казахской ССР, Институт геологических наук им. К. И. Сатпаева ; [отв. ред. И. И. Бок]... – Алма- Ата : Изд-во Наука КазССР, 1976. - 230 с., [1] л. табл. : ил.; . – Библиогр.: с. 225-229 . – 800 экз. (в пер.) : 260 тг.
УДК:
552.33(574)
Полочный шифр:
У 2010/4369
Предметная рубрика
- Щелочные породы Казахстана
Аннотация
В основу настоящей работы положены результаты всесторонних геолого-минералогических исследований щелочных формаций Казахстана
Ключевые слова
минералогия Казахстана, щелочные породы, полезные ископаемые Казахстана, щелочные формации, породообразующие минералы щелочных интрузий, типоморфные акцессорные минералы, нефелиновые сиениты, рудные минералы
2/2 Свободно
![](/FileStore/dataFiles/c1/c0/148589/content/cover.png?time=1721143662742&key=892c76b7bd195ed8459522f20de8839e)
книга(book)
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
Может ли человек изменить климат : 2 проекта / П. М. Борисов ; предисловие В. М. Котлякова ; художественное оформление: Г. М. Берштейн, Л. И. Орлова ; Российская академия наук. – 3-е изд. .. – Москва : Наука, 2005. - 267, [2] c., ил. : табл. : [1] к.;– (Научно-популярная литература. . . – ISBN 5-02-032881-2 (в пер.)
УДК:
551.5
Полочный шифр:
Л 2006/18150
Предметная рубрика
- Метеорология. Климатология
Аннотация
Вернуть теплые климаты далекого прошлого Земли инженер и географ П. М. Борисов (1901-1973) предлагает путями, которыми эволюция климата шла в самой природе
Ключевые слова
климат Земли, климат, климатология, метеорология, история географии
1/1 Свободно
![](/FileStore/dataFiles/13/4e/1010757/content/cover.png?time=1721143662743&key=128aee2e384c8793c7d6bb1a8763384f)
книга(book)
КУСТО ЖАК-ИВ
Могучий властелин морей [Текст] : Подводные исследования Ж.-И. Кусто / Ж.-И. Кусто Ф. Диоле ; [перевод с английского с незначительными сокращениями Н. Елисеева ; научная консультация, примечания и послесловие А. В. Яблокова ; художник Е. Адамов]... – Москва : Мысль, 1977. - 187, [1] с., ил.; . . – 80000 экз. (в пер.) : 80 тг.
УДК:
569.5
Полочный шифр:
Л 2004/5054
Предметная рубрика
- Китообразные
Аннотация
В книге рассказывается о ярком, богатом мире Индийского, Атлантического и Тихого океанов, об интереснейших наблюдениях над китами в их родной среде
Ключевые слова
китообразные, морские животные, киты, млекопитающие, подводные исследования
1/1 Свободно
книга(book)
1/1 Свободно
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
книга(book)
1/1 Свободно
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
книга(book)
2/2 Свободно
книга(book)
3/3 Свободно
МЕХАНИКА ТЕКТОНИЧЕСКИХ ПРОЦЕССОВ (1983)
книга(book)
2/2 Свободно
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
МИКРОБИОЛОГИЧЕСКИЕ ПРЕВРАЩЕНИЯ МЕТАЛЛОВ (1984)
книга(book)
3/3 Свободно
МАГМАТИЧЕСКИЕ И МЕТАМОРФИЧЕСКИЕ КОМПЛЕКСЫ КАЗАХСТАНА (1976)
книга(book)
2/2 Свободно
НУРЛЫБАЕВ АБДРАХМАН НУРЛЫБАЕВИЧ
МИНЕРАЛОГИЯ ЩЕЛОЧНЫХ ИНТРУЗИЙ КАЗАХСТАНА (1976)
книга(book)
2/2 Свободно
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
МОЖЕТ ЛИ ЧЕЛОВЕК ИЗМЕНИТЬ КЛИМАТ (2005)
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно