Электронный каталог
Начинается с М
Тематика:Математика и естественные науки
Вид издания:книга(book)
Результат поиска:
631-640 из 666
![](/FileStore/dataFiles/e0/0b/101849/content/cover.png?time=1720800621055&key=4660586e0d032206676545615cba7b94)
книга(book)
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
УДК:
510.6
Полочный шифр:
Л 2006/5065
Предметная рубрика
- Математическая логика
Аннотация
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Ключевые слова
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
1/1 Свободно
![](/FileStore/dataFiles/d5/2a/101848/content/cover.png?time=1720800621057&key=d1dd69fa3ec3b7e660d05ecd75102813)
книга(book)
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
УДК:
510.6(075.8)
Полочный шифр:
Л 2006/6776
Предметная рубрика
- Математическая логика
Аннотация
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Ключевые слова
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
1/1 Свободно
![](/FileStore/dataFiles/84/97/109287/content/cover.png?time=1720800621059&key=a1fe1105c1a3b0c7ec94f652d06ef8a2)
книга(book)
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
УДК:
510.6(075)
Полочный шифр:
Л 2008/2904
Предметная рубрика
- Математическая логика
Аннотация
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Ключевые слова
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
1/1 Свободно
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1720800621069&key=ed7062ebe504521abd1cc855464a0821)
книга(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=1720800621077&key=1d5535aeabe5253f61b92804252bbca9)
книга(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=1720800621086&key=8cfafa938bdf401859cbfee3ce393376)
книга(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=1720800621093&key=2988c2c4fe85bde7fbb41b857d08b2dc)
книга(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=1720800621094&key=81745a7516caa455944b3fe6338c538a)
книга(book)
Механика тектонических процессов [Текст] / ; Академия наук Казахской ССР ; Институт сейсмологии ; [редкол.: Ж. С. Ержанов [и др.]]... – Алма-Ата : Наука, 1983. - 191 с., ил.; . . – 1000 экз. (в пер.) : 70 тг.
УДК:
551.24
Полочный шифр:
Л 2006/21345
Предметная рубрика
- Геотектоника
Аннотация
Изложены основные предпосылки теории тектонического развития Земли, представленной комплексом внешних и внутренних движущих сил и механизмов
Ключевые слова
геологическое развитие Земли, механика, геофизика, тектонические процессы, прогноз землетрясений, геотектоника Земли
Казахстаника
2/2 Свободно
![](/FileStore/dataFiles/99/aa/1012226/content/cover.png?time=1720800621094&key=7bb7beae3e3a8f82eaa9dec557a2612e)
книга(book)
ОСПАНОВ Т.
Математиканың бастауыш курсын оқыту әдістемесі [Мәтін] : [оқу құралы] / Т. Оспанов , Ш. Құрманалина ; Қазақстан Республикасы Білім министрлігі .- Алматы : Республикалық баспа кабинеті , 1996.– 1000 дана . – ISBN 5-8380-1548-9 ІІ-бөлім .– 177 б. : 100 тг.
УДК:
51:373.3.016(075)
Полочный шифр:
Л 2009/17735
Предметная рубрика
- Математика пәнін бастауыш мектепте оқыту
Аннотация
Құралда бастауыш мектеп математикасының мазмұны мен оқыту әдістемесі баяндалған
Ключевые слова
бастауыш сынып, математика пәні, математиканы оқыту әдістемесі, оқыту әдістемесі
Казахстаника
2/2 Свободно
![](/FileStore/dataFiles/4b/3a/97357/content/cover.png?time=1720800621103&key=5546753844294c7c80eaf9cc9793947b)
книга(book)
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
Микробиологические превращения металлов [Текст] / А. Н. Илялетдинов ; Академия наук КазССР ; Ин-т микробиологии и вирусологии ; [отв. ред.: Г. И. Каравайко]... – Алма-Ата : Наука Казахской ССР, 1984. - 267, [1] с., ил.; . – Библиогр.: с. 233-266 . – 1000 экз. (в пер.) : 70 тг.
УДК:
579.68:669.01
Полочный шифр:
Л 2008/4498
Предметная рубрика
- Водная микробиология. Превращения металлов
Аннотация
Рассматривается влияние ионов металлов на выживаемость и обменные процессы у микроорганизмов, взаимодействие металлов с микроорганизмами и продуктами их жизнедеятельности, окисление и восстановление переменновалентных металлов
Ключевые слова
водная микробиология, превращения металлов, тяжелые металлы, поглощение металлов, микробиологическое окисление, переменновалентные металлы, микроорганизмы, влияние металлов, микробиологическая трансформация металлов
Казахстаника
3/3 Свободно
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
книга(book)
1/1 Свободно
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
книга(book)
2/2 Свободно
книга(book)
3/3 Свободно
МЕХАНИКА ТЕКТОНИЧЕСКИХ ПРОЦЕССОВ (1983)
книга(book)
2/2 Свободно
ОСПАНОВ Т.
МАТЕМАТИКАНЫҢ БАСТАУЫШ КУРСЫН ОҚЫТУ ӘДІСТЕМЕСІ (1996)
книга(book)
2/2 Свободно
ИЛЯЛЕТДИНОВ АЛЬФАРИД НИЗАМОВИЧ
МИКРОБИОЛОГИЧЕСКИЕ ПРЕВРАЩЕНИЯ МЕТАЛЛОВ (1984)
книга(book)
3/3 Свободно