Электронды каталог
Тақырыптама:Математика и естественные науки
Нәтежелер:
5681-5690 из 14727
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
ӘОЖ индексі:
510.6
Сөрмелік мүқам:
Л 2006/5065
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Кілт сөздер
Булева алгебра, логико-математические языки, аксиоматические теории, логика математическая, теория алгоритмов, теория доказательств
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2006/6776
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Кілт сөздер
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
кітап
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
ӘОЖ индексі:
510.6(075)
Сөрмелік мүқам:
Л 2008/2904
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Кілт сөздер
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Л 2007/4635
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Кілт сөздер
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
кітап
Исследование операций [Текст] : (модели, системы, решения) : [научное издание] / ; отвественный редактор Ю. П. Иванилов ; Российская академия наук, Вычислительный центр... – Москва : Вычислительный центр РАН, 1993. - 91 с. . – Библиогр.: с. 69-90 . – 301 экз. – ISBN 5-201-09886-Х : 30 тг.
ӘОЖ индексі:
519.8
Сөрмелік мүқам:
Л 2007/4410
Тақырыпты айдарлар
- Исследование операций
Аңдатпа
В книгу включены работы по применению методов оптимизации и теории принятий решений в экономических исследованиях.
Кілт сөздер
экономические исследования, исследование операций, линейное программирование, Ляпунова метод, нелинейное программирование
кітап
Сборник задач по высшей математике для экономистов [Текст] : Аналитическая геометрия. Линейная алгебра. Математический анализ. Теория вероятностей. Математическая статистика. Линейное программирование : учебное пособие / Г. И. Бобрик В. И. Ермаков В. И. Матвеевв Р. К. Гринцевичюс ; Российская экономическая академия им. Г. В. Плеханова ; под ред. В. И. Ермакова. – 2-е изд. ., испр.. – Москва : ИНФРА-М, 2008. - 573, [1] с., табл. : схемы : формулы;– (100 лет РЭА им. Г. В. Плеханова. - Авторы указаны на обороте титульного листа . . – 5000 экз. – ISBN 978-5-16-002781-4 (в пер.) : 1660 тг.
ӘОЖ индексі:
51(076)
Сөрмелік мүқам:
Л 2008/1455
Тақырыпты айдарлар
- Задачи по математике
Аңдатпа
Включены задачи по основным разделам высшей математики, необходимые для подготовки экономистов различных специализаций
Кілт сөздер
математический анализ, теория вероятностей, статистика для экономистов, математическая статистика, математика для экономистов
кітап
МИНОРСКИЙ ВАСИЛИЙ ПАВЛОВИЧ
Сборник задач по высшей математике : учеб. пособие для втузов / В. П. Минорский . – Изд. 15-е .. – Москва : ФИЗМАТЛИТ, 2005. - 336 с., схемы : формулы; . – Библиогр.: с. 69-90 . – 5000 экз. – ISBN 5-94052-105-3 (в пер.) : 1584 тг.
ӘОЖ индексі:
51(075.8)
Сөрмелік мүқам:
Л 2006/6706
Тақырыпты айдарлар
- Математика
Аңдатпа
Подобраны и методически распределены задачи по аналитической геометрии и математическому анализу
Кілт сөздер
математика, высшая математика, аналитическая геометрия, векторная алгебра
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
ӘОЖ индексі:
510.5/6(075.8)
Сөрмелік мүқам:
Л 2008/3754
Тақырыпты айдарлар
- Теория алгоритмов
- Математическая логика
Аңдатпа
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Кілт сөздер
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 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 курс : учеб. пособие / К. Н. Лунгу Д. Т. Письменный С. Н. Федин Ю. А. Шевченко . – 7-е изд. .. – Москва : Айрис-пресс, 2008. - 574, [1] с., табл. : формулы : схемы;– (Высшее образование. . . – 8000 экз. – ISBN 978-5-8112-3019-8 (в пер.) : 1268 тг.
ӘОЖ индексі:
51(075.8)
Сөрмелік мүқам:
Л 2008/1442
Тақырыпты айдарлар
- Математика
Аңдатпа
В книгу включены задачи по основным разделам высшей математики
Кілт сөздер
математический анализ, матрицы, векторная алгебра, высшая математика
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2006)
кітап
1/1 Бос
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2005)
кітап
1/1 Бос
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
кітап
1/1 Бос
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Бос
ИССЛЕДОВАНИЕ ОПЕРАЦИЙ (1993)
кітап
2/2 Бос
СБОРНИК ЗАДАЧ ПО ВЫСШЕЙ МАТЕМАТИКЕ ДЛЯ ЭКОНОМИСТОВ (2008)
кітап
4/4 Бос
МИНОРСКИЙ ВАСИЛИЙ ПАВЛОВИЧ
СБОРНИК ЗАДАЧ ПО ВЫСШЕЙ МАТЕМАТИКЕ (2005)
кітап
2/2 Бос
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Бос
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Бос
СБОРНИК ЗАДАЧ ПО ВЫСШЕЙ МАТЕМАТИКЕ (2008)
кітап
1/1 Бос