М басталады
Taqyryptama:Математика и естественные науки
Basylym túrі:kіtap(book)
Nátejeler:
631-640 ız 666
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
ÁOJ:
510.6
Sórmelіk múqam:
Л 2006/5065
Taqyrypty aıdarlar
- Математическая логика
Ańdatpa
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Kіlt sózder
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
ÁOJ:
510.6(075.8)
Sórmelіk múqam:
Л 2006/6776
Taqyrypty aıdarlar
- Математическая логика
Ańdatpa
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Kіlt sózder
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
кітап
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
ÁOJ:
510.6(075)
Sórmelіk múqam:
Л 2008/2904
Taqyrypty aıdarlar
- Математическая логика
Ańdatpa
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Kіlt sózder
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 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
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 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
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 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
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
кітап
КЛАЙН МОРИС
Математика. Утрата определенности = 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
история математики, математическая наука, математические истины, математика в современном мире
кітап
Механика тектонических процессов [Текст] / ; Академия наук Казахской ССР ; Институт сейсмологии ; [редкол.: Ж. С. Ержанов [и др.]]... – Алма-Ата : Наука, 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
кітап
ОСПАНОВ Т.
Математиканың бастауыш курсын оқыту әдістемесі [Мәтін] : [оқу құралы] / Т. Оспанов , Ш. Құрманалина ; Қазақстан Республикасы Білім министрлігі .- Алматы : Республикалық баспа кабинеті , 1996.– 1000 дана . – ISBN 5-8380-1548-9 ІІ-бөлім .– 177 б. : 100 тг.
ÁOJ:
51:373.3.016(075)
Sórmelіk múqam:
Л 2009/17735
Taqyrypty aıdarlar
- Математика пәнін бастауыш мектепте оқыту
Ańdatpa
Құралда бастауыш мектеп математикасының мазмұны мен оқыту әдістемесі баяндалған
Kіlt sózder
бастауыш сынып, математика пәні, математиканы оқыту әдістемесі, оқыту әдістемесі
Qazaqstandуq
кітап
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
Микробиологические превращения металлов [Текст] / А. Н. Илялетдинов ; Академия наук КазССР ; Ин-т микробиологии и вирусологии ; [отв. ред.: Г. И. Каравайко]... – Алма-Ата : Наука Казахской ССР, 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
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2006)
кітап
1/1 Bos
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2005)
кітап
1/1 Bos
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
кітап
1/1 Bos
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Bos
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Bos
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Bos
кітап
3/3 Bos
МЕХАНИКА ТЕКТОНИЧЕСКИХ ПРОЦЕССОВ (1983)
кітап
2/2 Bos
ОСПАНОВ Т.
МАТЕМАТИКАНЫҢ БАСТАУЫШ КУРСЫН ОҚЫТУ ӘДІСТЕМЕСІ (1996)
кітап
2/2 Bos
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
МИКРОБИОЛОГИЧЕСКИЕ ПРЕВРАЩЕНИЯ МЕТАЛЛОВ (1984)
кітап
3/3 Bos