М басталады
Basylymdy shyǵarǵan memleket:RESEI FEDERASIASY
Janr:Жаратылыстану ғылымдары (natural_sciences)
Basylym tіlі:Orys
Basylym túrі:kіtap(book)
Nátejeler:
591-600 ız 687
![](/FileStore/dataFiles/5f/cd/1684051/content/cover.png?time=1723460385070&key=4395d6826abc0dcde1698ab96dabd8b8)
кітап
СПИВАК А. В.
Математический праздник [Текст] / А. В. Спивак- Москва : Бюро Квантум , 2000. – Приложение к журналу "КВАНТ". №2/2000– [б. т.] . – ISBN 5-85843-023-6 Часть 1 .– 125, [3] с., формулы : ил. . : 309 тг.
ÁOJ:
51(079.1)
Sórmelіk múqam:
Л 2024/1182
Taqyrypty aıdarlar
- Задачи и вопросы по математике
Ańdatpa
Представлены задачи по математике, предлагавшиеся на занятиях в математических классах, кружках и на олимпиадах. Многие задачи снабжены подробными решениями, некоторые - краткими указаниями
Kіlt sózder
математика, задачи по математике, арифметические задачи, наглядная геометрия
![](/FileStore/dataFiles/ff/43/143503/content/cover.png?time=1723460385071&key=37037675701789b069970416cc030bd2)
кітап
ШАПОРЕВ С. Д.
Математическая логика : Курс лекций и практических занятий / С. Д. Шапорев ... – Санкт-Петербург : БХВ-Петербург, 2005. - 410 с., формулы; . – Библиогр.: с. 405. - Предм. указ.: 406-410 . – 3000 экз. – ISBN 5-94157-702-8 (в пер.) : 1010 тг.
ÁOJ:
510.6(075.8)
Sórmelіk múqam:
Р 2006/651
Taqyrypty aıdarlar
- Математическая логика
Ańdatpa
В пособии представлены разделы математической логики: алгебра логики и исчисление высказываний и логики предикатов
Kіlt sózder
исчисление предикатов, математическая логика, алгебра логики, исчисления высказываний, логика предикатов, теория алгоритмов
![](/FileStore/dataFiles/a5/35/1683897/content/cover.png?time=1723460385071&key=a7bf9278a11187a232230e873d28c770)
кітап
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Методы расчета высоконадежных систем [Текст] / И. Н. Коваленко Н. Ю. Кузнецов ... – Москва : Радио и связь, 1988. - 175, [1] с., ил.; . – Библиогр.: с. 172-174 . – 7000 экз. – ISBN 5-256-00002-0 : 50 тг.
ÁOJ:
519.248
Sórmelіk múqam:
Л 2024/1158
Taqyrypty aıdarlar
- Статистика в приложениях и исследовании операций: теория массового обслуживания, контроль качества, надежность
Ańdatpa
Рассмотрены асимптотические методы определения показателей надежности систем с резервированием
Kіlt sózder
сложные технические системы, расчет на надежность, моделирование сложных систем, статистическое моделирование
![](/FileStore/dataFiles/e0/0b/101849/content/cover.png?time=1723460385079&key=ed13df03c16cebc14591630e8b5097e3)
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 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
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
![](/FileStore/dataFiles/d5/2a/101848/content/cover.png?time=1723460385080&key=6f3fb7ec36aeba75f5903e87967b5718)
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 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
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
![](/FileStore/dataFiles/84/97/109287/content/cover.png?time=1723460385089&key=828f093a2fdd00c34767cf56bee437af)
кітап
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 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
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1723460385127&key=9409b909f0e1a3a219547e33224e7a0e)
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 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/86/6c/1683758/content/cover.png?time=1723460385128&key=c70db548fcfc98a04ed9c889a0820de0)
кітап
Математическое моделирование = Matematical modelling [Текст] / Б. Нобл Дж. У. Крэггс Р. Р. Мак-Лоун, ; ред.: Дж. Эндрюс, Р. Мак-Лоун ; пер. с англ. под ред. Ю. П. Гупало... – Москва : Мир, 1979. - 276, [1] с., ил.; . – Библиогр. в конце разд. . – 22000 экз. (в пер.) : 10 тг.
ÁOJ:
519.876.5
Sórmelіk múqam:
Л 2024/1052
Taqyrypty aıdarlar
- Цифровое имитирование и моделирование систем
Ańdatpa
Отдельные главы посвящены конкретным математическим моделям, относящимся к таким областям, как управление движением, истечение жидкости, сверление отверстий лазером, анализ напряжений, развитие популяций, планирование и т. д.
Kіlt sózder
математическое моделирование, стархование автомобилей, методы теории катастроф, деятельность предприятия
![](/FileStore/dataFiles/4a/82/96957/content/cover.png?time=1723460385129&key=20f1e1b03bafc3ac3b348eafd3338ca9)
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 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=1723460385130&key=c4ab7e0b5f7c27806987075e5139ea17)
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 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
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
кітап
1/1 Bos
кітап
1/1 Bos
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
МЕТОДЫ РАСЧЕТА ВЫСОКОНАДЕЖНЫХ СИСТЕМ (1988)
кітап
1/1 Bos
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2006)
кітап
1/1 Bos
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2005)
кітап
1/1 Bos
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
кітап
1/1 Bos
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Bos
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ (1979)
кітап
1/1 Bos
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Bos
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Bos