М басталады
Janr:Жаратылыстану ғылымдары (natural_sciences)
Taqyryptama:Математика и естественные науки
Basylym tіlі:Orys
Basylym túrі:kіtap(book)
Nátejeler:
411-420 ız 438
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1723446529520&key=8ef2f16b03a5bd4e2c4254d3c47a8a8d)
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
ÁOJ:
510.6(075.8)
Sórmelіk múqam:
Л 2007/4635
Taqyrypty aıdarlar
- Математическая логика
Ańdatpa
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Kіlt sózder
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
![](/FileStore/dataFiles/4a/82/96957/content/cover.png?time=1723446529521&key=86c27d63de54fb9bbfa153c3bd2915bb)
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
ÁOJ:
510.5/6(075.8)
Sórmelіk múqam:
Л 2008/3754
Taqyrypty aıdarlar
- Теория алгоритмов
- Математическая логика
Ańdatpa
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Kіlt sózder
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
![](/FileStore/dataFiles/63/99/134192/content/cover.png?time=1723446529525&key=fd960608a9ce44b19e6aafcd034ed35c)
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 2008. - 223, [1] с., формула;– (Высшее образование. : серия основана в 1996 г. . – Библиогр.: с. 212-214 . – 1500 экз. – ISBN 978-5-16-001975-8 (ИНФРА-М), ISBN 978-5-7782-0458-4 (НГТУ) (в пер.) : 1100 тг.
ÁOJ:
510.6(075.8)
Sórmelіk múqam:
Л 2008/2382
Taqyrypty aıdarlar
- Математическая логика и теория алгоритмов
Ańdatpa
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Kіlt sózder
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
![](/FileStore/dataFiles/b7/88/1011364/content/cover.png?time=1723446529544&key=29d45763745da4b9b5d650263a6613f4)
кітап
КЛАЙН МОРИС
Математика. Утрата определенности = Mathematics. The Loss of Certainty [Текст] / М. Клайн ; перевод с английского Ю. А. Данилова ; под редакцией И. М. Яглома... – Москва : Мир, 1984. - 445, [1] c., ил.; . – Библиогр.: с. 424-432. - Имен. указатель: с. 433-437, предметный указатель: с. 438-444 . – 50000 экз. (в пер.) : 50 тг.
ÁOJ:
51(091)
Sórmelіk múqam:
Л 2004/5338
Taqyrypty aıdarlar
- История математики
Ańdatpa
Книга американского профессора математики о развитии математики с древнейших времен до наших дней, в которой автор пытается разъяснить сущность математики и стремится ознакомить с фундаментальными проблемами, которые возникли в математике в конце XIX и в XX веке
Kіlt sózder
история математики, математическая наука, математические истины, математика в современном мире
![](/FileStore/dataFiles/0c/d1/438327/content/cover.png?time=1723446529545&key=b80633a81f972bc51b7bf3093690b1c5)
кітап
Механика тектонических процессов [Текст] / ; Академия наук Казахской ССР ; Институт сейсмологии ; [редкол.: Ж. С. Ержанов [и др.]]... – Алма-Ата : Наука, 1983. - 191 с., ил.; . . – 1000 экз. (в пер.) : 70 тг.
ÁOJ:
551.24
Sórmelіk múqam:
Л 2006/21345
Taqyrypty aıdarlar
- Геотектоника
Ańdatpa
Изложены основные предпосылки теории тектонического развития Земли, представленной комплексом внешних и внутренних движущих сил и механизмов
Kіlt sózder
геологическое развитие Земли, механика, геофизика, тектонические процессы, прогноз землетрясений, геотектоника Земли
Qazaqstandуq
![](/FileStore/dataFiles/4b/3a/97357/content/cover.png?time=1723446529546&key=e0c545ed92665766e12e39c1e46c8b02)
кітап
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
Микробиологические превращения металлов [Текст] / А. Н. Илялетдинов ; Академия наук КазССР ; Ин-т микробиологии и вирусологии ; [отв. ред.: Г. И. Каравайко]... – Алма-Ата : Наука Казахской ССР, 1984. - 267, [1] с., ил.; . – Библиогр.: с. 233-266 . – 1000 экз. (в пер.) : 70 тг.
ÁOJ:
579.68:669.01
Sórmelіk múqam:
Л 2008/4498
Taqyrypty aıdarlar
- Водная микробиология. Превращения металлов
Ańdatpa
Рассматривается влияние ионов металлов на выживаемость и обменные процессы у микроорганизмов, взаимодействие металлов с микроорганизмами и продуктами их жизнедеятельности, окисление и восстановление переменновалентных металлов
Kіlt sózder
водная микробиология, превращения металлов, тяжелые металлы, поглощение металлов, микробиологическое окисление, переменновалентные металлы, микроорганизмы, влияние металлов, микробиологическая трансформация металлов
Qazaqstandуq
![](/FileStore/dataFiles/f2/f3/1021592/content/cover.png?time=1723446529565&key=526b792a3f2aa785c8a1586125b25ae7)
кітап
Магматические и метаморфические комплексы Казахстана [Текст] : труды 2-го Казахстанского петрографического совещания ; ; Академия Наук СССР, Академия наук Казахской ССР, Министерство геологии СССР, Министерство геологии Казахской ССР ; [гл. ред. А. А. Абдулин] .- Алма- Ата : Наука Казахской ССР , 1976.– 800 экз. . (в пер.) Библиогр.: с. 237-247 Ч. 1 .– 256 с., ил. . (в пер.) : 260 тг.
ÁOJ:
552(062.2)(574)
Sórmelіk múqam:
У 2010/4364
Taqyrypty aıdarlar
- Сборник научных трудов по вопросам петрографии в Казахстане
Ańdatpa
В докладах освещен широкий круг проблем магматической, метаморфической и метасоматической геологии Казахстана
Kіlt sózder
петрография, магматические образования, металлогении, вулканизм Казахстана, метасоматическая геология, метаморфическая геология, магматическая геология, гранитоидные комплексы Казахстана
Qazaqstandуq
![](/FileStore/dataFiles/31/bf/1021162/content/cover.png?time=1723446529577&key=1a375797ae95026d97b9ae91a3451b1e)
кітап
НУРЛЫБАЕВ АБДРАХМАН НУРЛЫБАЕВИЧ
Минералогия щелочных интрузий Казахстана [Текст] / А. Н. Нурлыбаев ; Академия наук Казахской ССР, Институт геологических наук им. К. И. Сатпаева ; [отв. ред. И. И. Бок]... – Алма- Ата : Изд-во Наука КазССР, 1976. - 230 с., [1] л. табл. : ил.; . – Библиогр.: с. 225-229 . – 800 экз. (в пер.) : 260 тг.
ÁOJ:
552.33(574)
Sórmelіk múqam:
У 2010/4369
Taqyrypty aıdarlar
- Щелочные породы Казахстана
Ańdatpa
В основу настоящей работы положены результаты всесторонних геолого-минералогических исследований щелочных формаций Казахстана
Kіlt sózder
минералогия Казахстана, щелочные породы, полезные ископаемые Казахстана, щелочные формации, породообразующие минералы щелочных интрузий, типоморфные акцессорные минералы, нефелиновые сиениты, рудные минералы
![](/FileStore/dataFiles/c1/c0/148589/content/cover.png?time=1723446529578&key=d78814fb887a7ddd8db1a5044440544f)
кітап
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
Может ли человек изменить климат : 2 проекта / П. М. Борисов ; предисловие В. М. Котлякова ; художественное оформление: Г. М. Берштейн, Л. И. Орлова ; Российская академия наук. – 3-е изд. .. – Москва : Наука, 2005. - 267, [2] c., ил. : табл. : [1] к.;– (Научно-популярная литература. . . – ISBN 5-02-032881-2 (в пер.)
ÁOJ:
551.5
Sórmelіk múqam:
Л 2006/18150
Taqyrypty aıdarlar
- Метеорология. Климатология
Ańdatpa
Вернуть теплые климаты далекого прошлого Земли инженер и географ П. М. Борисов (1901-1973) предлагает путями, которыми эволюция климата шла в самой природе
Kіlt sózder
климат Земли, климат, климатология, метеорология, история географии
![](/FileStore/dataFiles/13/4e/1010757/content/cover.png?time=1723446529579&key=adf6736ab0e0af4b33dbfc621df23566)
кітап
КУСТО ЖАК-ИВ
Могучий властелин морей [Текст] : Подводные исследования Ж.-И. Кусто / Ж.-И. Кусто Ф. Диоле ; [перевод с английского с незначительными сокращениями Н. Елисеева ; научная консультация, примечания и послесловие А. В. Яблокова ; художник Е. Адамов]... – Москва : Мысль, 1977. - 187, [1] с., ил.; . . – 80000 экз. (в пер.) : 80 тг.
ÁOJ:
569.5
Sórmelіk múqam:
Л 2004/5054
Taqyrypty aıdarlar
- Китообразные
Ańdatpa
В книге рассказывается о ярком, богатом мире Индийского, Атлантического и Тихого океанов, об интереснейших наблюдениях над китами в их родной среде
Kіlt sózder
китообразные, морские животные, киты, млекопитающие, подводные исследования
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Bos
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Bos
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Bos
кітап
3/3 Bos
МЕХАНИКА ТЕКТОНИЧЕСКИХ ПРОЦЕССОВ (1983)
кітап
2/2 Bos
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
МИКРОБИОЛОГИЧЕСКИЕ ПРЕВРАЩЕНИЯ МЕТАЛЛОВ (1984)
кітап
3/3 Bos
МАГМАТИЧЕСКИЕ И МЕТАМОРФИЧЕСКИЕ КОМПЛЕКСЫ КАЗАХСТАНА (1976)
кітап
2/2 Bos
НУРЛЫБАЕВ АБДРАХМАН НУРЛЫБАЕВИЧ
МИНЕРАЛОГИЯ ЩЕЛОЧНЫХ ИНТРУЗИЙ КАЗАХСТАНА (1976)
кітап
2/2 Bos
БОРИСОВ ПЕТР МИХАЙЛОВИЧ
МОЖЕТ ЛИ ЧЕЛОВЕК ИЗМЕНИТЬ КЛИМАТ (2005)
кітап
1/1 Bos
кітап
1/1 Bos