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