Электронды каталог
М басталады
Басылымды шығарған мемлекет:РЕСЕЙ ФЕДЕРАЦИЯСЫ
Жанр:Жаратылыстану ғылымдары (natural_sciences)
Басылым тілі:Орыс
Басылым түрі:кітап
Нәтежелер:
591-600 из 687
![](/FileStore/dataFiles/5f/cd/1684051/content/cover.png?time=1723384346588&key=0fdf3fdc03c93a3302183fa5f03c7c0f)
кітап
СПИВАК А. В.
Математический праздник [Текст] / А. В. Спивак- Москва : Бюро Квантум , 2000. – Приложение к журналу "КВАНТ". №2/2000– [б. т.] . – ISBN 5-85843-023-6 Часть 1 .– 125, [3] с., формулы : ил. . : 309 тг.
ӘОЖ индексі:
51(079.1)
Сөрмелік мүқам:
Л 2024/1182
Тақырыпты айдарлар
- Задачи и вопросы по математике
Аңдатпа
Представлены задачи по математике, предлагавшиеся на занятиях в математических классах, кружках и на олимпиадах. Многие задачи снабжены подробными решениями, некоторые - краткими указаниями
Кілт сөздер
математика, задачи по математике, арифметические задачи, наглядная геометрия
![](/FileStore/dataFiles/ff/43/143503/content/cover.png?time=1723384346596&key=6e54dfbd80521ee23a3b1150258289bf)
кітап
ШАПОРЕВ С. Д.
Математическая логика : Курс лекций и практических занятий / С. Д. Шапорев ... – Санкт-Петербург : БХВ-Петербург, 2005. - 410 с., формулы; . – Библиогр.: с. 405. - Предм. указ.: 406-410 . – 3000 экз. – ISBN 5-94157-702-8 (в пер.) : 1010 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Р 2006/651
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
В пособии представлены разделы математической логики: алгебра логики и исчисление высказываний и логики предикатов
Кілт сөздер
исчисление предикатов, математическая логика, алгебра логики, исчисления высказываний, логика предикатов, теория алгоритмов
![](/FileStore/dataFiles/a5/35/1683897/content/cover.png?time=1723384346596&key=ad8ca165c8ad04c27c21268ec28859c2)
кітап
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Методы расчета высоконадежных систем [Текст] / И. Н. Коваленко Н. Ю. Кузнецов ... – Москва : Радио и связь, 1988. - 175, [1] с., ил.; . – Библиогр.: с. 172-174 . – 7000 экз. – ISBN 5-256-00002-0 : 50 тг.
ӘОЖ индексі:
519.248
Сөрмелік мүқам:
Л 2024/1158
Тақырыпты айдарлар
- Статистика в приложениях и исследовании операций: теория массового обслуживания, контроль качества, надежность
Аңдатпа
Рассмотрены асимптотические методы определения показателей надежности систем с резервированием
Кілт сөздер
сложные технические системы, расчет на надежность, моделирование сложных систем, статистическое моделирование
![](/FileStore/dataFiles/e0/0b/101849/content/cover.png?time=1723384346610&key=644c01a00a143cef5277c4899458a10d)
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
ӘОЖ индексі:
510.6
Сөрмелік мүқам:
Л 2006/5065
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Кілт сөздер
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
![](/FileStore/dataFiles/d5/2a/101848/content/cover.png?time=1723384346611&key=5acda0e431acd4fbbcb1f98cebed1531)
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2006/6776
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Кілт сөздер
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
![](/FileStore/dataFiles/84/97/109287/content/cover.png?time=1723384346625&key=7306f2bb0bdba42a94e6c7629d5600f4)
кітап
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
ӘОЖ индексі:
510.6(075)
Сөрмелік мүқам:
Л 2008/2904
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Кілт сөздер
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1723384346635&key=88adc7f624bab5109a6b3bced68199dc)
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2007/4635
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Кілт сөздер
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
![](/FileStore/dataFiles/86/6c/1683758/content/cover.png?time=1723384346635&key=4f0ca8472c6d6805ec851a74d290cc8e)
кітап
Математическое моделирование = Matematical modelling [Текст] / Б. Нобл Дж. У. Крэггс Р. Р. Мак-Лоун, ; ред.: Дж. Эндрюс, Р. Мак-Лоун ; пер. с англ. под ред. Ю. П. Гупало... – Москва : Мир, 1979. - 276, [1] с., ил.; . – Библиогр. в конце разд. . – 22000 экз. (в пер.) : 10 тг.
ӘОЖ индексі:
519.876.5
Сөрмелік мүқам:
Л 2024/1052
Тақырыпты айдарлар
- Цифровое имитирование и моделирование систем
Аңдатпа
Отдельные главы посвящены конкретным математическим моделям, относящимся к таким областям, как управление движением, истечение жидкости, сверление отверстий лазером, анализ напряжений, развитие популяций, планирование и т. д.
Кілт сөздер
математическое моделирование, стархование автомобилей, методы теории катастроф, деятельность предприятия
![](/FileStore/dataFiles/4a/82/96957/content/cover.png?time=1723384346648&key=00378f036c099b3f1a89db413cb15214)
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
ӘОЖ индексі:
510.5/6(075.8)
Сөрмелік мүқам:
Л 2008/3754
Тақырыпты айдарлар
- Теория алгоритмов
- Математическая логика
Аңдатпа
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Кілт сөздер
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
![](/FileStore/dataFiles/63/99/134192/content/cover.png?time=1723384346651&key=f4ffc141b9c0abd15e8b44d223139729)
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 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
Тақырыпты айдарлар
- Математическая логика и теория алгоритмов
Аңдатпа
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Кілт сөздер
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
кітап
1/1 Бос
кітап
1/1 Бос
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
МЕТОДЫ РАСЧЕТА ВЫСОКОНАДЕЖНЫХ СИСТЕМ (1988)
кітап
1/1 Бос
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2006)
кітап
1/1 Бос
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2005)
кітап
1/1 Бос
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
кітап
1/1 Бос
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Бос
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ (1979)
кітап
1/1 Бос
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Бос
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Бос