Taqyryptama:Математика и естественные науки
Nátejeler:
5681-5690 ız 14727
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 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
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
кітап
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 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
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 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
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
кітап
Исследование операций [Текст] : (модели, системы, решения) : [научное издание] / ; отвественный редактор Ю. П. Иванилов ; Российская академия наук, Вычислительный центр... – Москва : Вычислительный центр РАН, 1993. - 91 с. . – Библиогр.: с. 69-90 . – 301 экз. – ISBN 5-201-09886-Х : 30 тг.
ÁOJ:
519.8
Sórmelіk múqam:
Л 2007/4410
Taqyrypty aıdarlar
- Исследование операций
Ańdatpa
В книгу включены работы по применению методов оптимизации и теории принятий решений в экономических исследованиях.
Kіlt sózder
экономические исследования, исследование операций, линейное программирование, Ляпунова метод, нелинейное программирование
кітап
Сборник задач по высшей математике для экономистов [Текст] : Аналитическая геометрия. Линейная алгебра. Математический анализ. Теория вероятностей. Математическая статистика. Линейное программирование : учебное пособие / Г. И. Бобрик В. И. Ермаков В. И. Матвеевв Р. К. Гринцевичюс ; Российская экономическая академия им. Г. В. Плеханова ; под ред. В. И. Ермакова. – 2-е изд. ., испр.. – Москва : ИНФРА-М, 2008. - 573, [1] с., табл. : схемы : формулы;– (100 лет РЭА им. Г. В. Плеханова. - Авторы указаны на обороте титульного листа . . – 5000 экз. – ISBN 978-5-16-002781-4 (в пер.) : 1660 тг.
ÁOJ:
51(076)
Sórmelіk múqam:
Л 2008/1455
Taqyrypty aıdarlar
- Задачи по математике
Ańdatpa
Включены задачи по основным разделам высшей математики, необходимые для подготовки экономистов различных специализаций
Kіlt sózder
математический анализ, теория вероятностей, статистика для экономистов, математическая статистика, математика для экономистов
кітап
МИНОРСКИЙ ВАСИЛИЙ ПАВЛОВИЧ
Сборник задач по высшей математике : учеб. пособие для втузов / В. П. Минорский . – Изд. 15-е .. – Москва : ФИЗМАТЛИТ, 2005. - 336 с., схемы : формулы; . – Библиогр.: с. 69-90 . – 5000 экз. – ISBN 5-94052-105-3 (в пер.) : 1584 тг.
ÁOJ:
51(075.8)
Sórmelіk múqam:
Л 2006/6706
Taqyrypty aıdarlar
- Математика
Ańdatpa
Подобраны и методически распределены задачи по аналитической геометрии и математическому анализу
Kіlt sózder
математика, высшая математика, аналитическая геометрия, векторная алгебра
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 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
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 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 курс : учеб. пособие / К. Н. Лунгу Ю. А. Шевченко С. Н. Федин Д. Т. Письменный . – 7-е изд. .. – Москва : Айрис-пресс, 2008. - 574, [1] с., табл. : формулы : схемы;– (Высшее образование. . . – 8000 экз. – ISBN 978-5-8112-3019-8 (в пер.) : 1268 тг.
ÁOJ:
51(075.8)
Sórmelіk múqam:
Л 2008/1442
Taqyrypty aıdarlar
- Математика
Ańdatpa
В книгу включены задачи по основным разделам высшей математики
Kіlt sózder
математический анализ, матрицы, векторная алгебра, высшая математика
кітап
ПАВЛОВИЧ НАТАЛИЯ АНДРОНИКОВНА
Органическая химия с основами биологической химии [Текст] : учеб. для учащихся зубоврачебных отд-ний мед. училищ / Н. А. Павлович А. С. Сигал ... – Москва : Медицина, 1966. - 287 с., ил.; . . – 38000 экз. (в пер.) : 70 тг.
ÁOJ:
547+577.1(024):616.314(075.8)
Sórmelіk múqam:
Л 2004/4571
Taqyrypty aıdarlar
- Органическая химия и биохимия в стоматологии
Ańdatpa
Книга посвящена истории развития органической химии, ее роль в народном хозяйстве и в медицине
Kіlt sózder
стоматологические заболевания, органическая химия, биохимия в стоматологии, биохимия, органические соединения
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2005)
кітап
1/1 Bos
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
кітап
1/1 Bos
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Bos
ИССЛЕДОВАНИЕ ОПЕРАЦИЙ (1993)
кітап
2/2 Bos
СБОРНИК ЗАДАЧ ПО ВЫСШЕЙ МАТЕМАТИКЕ ДЛЯ ЭКОНОМИСТОВ (2008)
кітап
4/4 Bos
МИНОРСКИЙ ВАСИЛИЙ ПАВЛОВИЧ
СБОРНИК ЗАДАЧ ПО ВЫСШЕЙ МАТЕМАТИКЕ (2005)
кітап
2/2 Bos
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Bos
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Bos
СБОРНИК ЗАДАЧ ПО ВЫСШЕЙ МАТЕМАТИКЕ (2008)
кітап
1/1 Bos
ПАВЛОВИЧ НАТАЛИЯ АНДРОНИКОВНА
ОРГАНИЧЕСКАЯ ХИМИЯ С ОСНОВАМИ БИОЛОГИЧЕСКОЙ ХИМИИ (1966)
кітап
1/1 Bos