М басталады
Nátejeler:
8991-9000 ız 21546
кітап
ШАПОРЕВ С. Д.
Математическая логика : Курс лекций и практических занятий / С. Д. Шапорев ... – Санкт-Петербург : БХВ-Петербург, 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
исчисление предикатов, математическая логика, алгебра логики, исчисления высказываний, логика предикатов, теория алгоритмов
кітап
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Методы расчета высоконадежных систем [Текст] / И. Н. Коваленко Н. Ю. Кузнецов ... – Москва : Радио и связь, 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
сложные технические системы, расчет на надежность, моделирование сложных систем, статистическое моделирование
кітап
БАРСЕГЯН АРАРАТ МОВСЕСОВИЧ
Мозаика любви [Текст] : пьесы : перевод с армянского / А. М. Барсегян ... – Москва : Советский писатель, 1983. - 438, [2] c., портр.; - Содерж.: "Пылы Пуги"; "Рождение"; "Мозаика любви"; "Армянская женщина"; "Люсик Лисинян"; "Сломанный каблук"; "Камо"; "Вненера Прекрасная" . . – 15000 экз. (в пер.) : 45 тг.
ÁOJ:
821.19-2
Sórmelіk múqam:
Л 2004/4363
Taqyrypty aıdarlar
- Армянская драматургия
Ańdatpa
В сборник включены разные по тематике, жанру и времени написания пьесы: историко-революционная драма "Камо", остроконфликтная драма "Рождение" - о становлении социалистических отношений в деревне, героическая комедия "Пылы Пуги", драматическая новелла на современную тему "Сломанный каблук", комедия в двух частях "Мозаика любви"
Kіlt sózder
армянская художественная литература, историко-революционная драма, пьесы армянских авторов, современная новелла, остроконфликтная драма
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 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
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 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
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
кітап
КАРМАНОВ ВЛАДИМИР ГЕОРГИЕВИЧ
Математическое программирование [Текст] : учебное пособия для студентов вузов / В. Г. Карманов ; Министерство высшего и среднего специального образования СССР. – Изд. 2-е ., перераб. и доп.. – Москва : Наука, 1980. - 256 с., ил.; . – Библиогр.: с. 251. - Предм. указ.: с. 253 . – 40000 экз. : 3 тг.
ÁOJ:
519.85(075.8)
Sórmelіk múqam:
Л 2024/1150
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
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
кітап
КАСАТКИН ИВАН
Мужик [Текст] : рассказы / И. Касаткин ; [сост., послесл. и примеч. Н. М. Солнцева; худож. А. Томилин]... – Москва : Советский писатель, 1991. - 381, [1] c., портр.; . . – 100000 экз. – ISBN 5-265-01121-8 (в пер.) : 60 тг.
ÁOJ:
821.161.1-3
Sórmelіk múqam:
Л 2004/4449
Taqyrypty aıdarlar
- Русская художественная проза
Ańdatpa
В книгу включены рассказы о быте и нравах дореволюционной деревни, о жизни бывших крестьян в городе, о событиях девятьсот пятого года
Kіlt sózder
русская художественная литература, рассказы русских писателей, русская проза 20 века
кітап
КОРН ВИЛЬМОС
Мавр и лондонские грачи [Текст] : роман / В. Корн И. Корн ; перевод с немецкого В. Курелла, В. Розанова ; рисунки К. Циммермана... – Москва : Детская литература, 1987. - 383 с., ил.;– (Библиотечная серия. . . – 100000 экз. (в пер.) : 70 тг.
ÁOJ:
821.112.2-31
Sórmelіk múqam:
Л 2004/4494
Taqyrypty aıdarlar
- Немецкая художественная литература. Романы
Kіlt sózder
немецкие художественные романы, немецкие романы, художественная литература Германии
кітап
1/1 Bos
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
МЕТОДЫ РАСЧЕТА ВЫСОКОНАДЕЖНЫХ СИСТЕМ (1988)
кітап
1/1 Bos
кітап
1/1 Bos
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2006)
кітап
1/1 Bos
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2005)
кітап
1/1 Bos
КАРМАНОВ ВЛАДИМИР ГЕОРГИЕВИЧ
МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ (1980)
кітап
1/1 Bos
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
кітап
1/1 Bos
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Bos
кітап
2/2 Bos
кітап
1/1 Bos