Digital catalogue


 

Choice of metadata Electronic Library

Page 2, Results: 244

Report on unfulfilled requests: 0

22.12 я7
А31

Айдос, Е. Ж.
    Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Электрондық ресурс] : оқу құралы / Е. Ж. Айдос. - Алматы : Бастау, 2015. - 288 б. - Б. ц.

ББК 22.12 я7

Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ

   ЖОҒАРЫ МАТЕМАТИКА


   Математика негізі және математикалық логика


Кл.слова (ненормированные):
комплекс сан -- Коши интегралы -- Лоран қатары -- шегерім -- Лаплас түрлендіруі

Айдос, Е.Ж. Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Электрондық ресурс] : Оқу құралы / Е. Ж. Айдос, 2015. - 288 б.

11.

Айдос, Е.Ж. Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Электрондық ресурс] : Оқу құралы / Е. Ж. Айдос, 2015. - 288 б.


22.12 я7
А31

Айдос, Е. Ж.
    Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Электрондық ресурс] : оқу құралы / Е. Ж. Айдос. - Алматы : Бастау, 2015. - 288 б. - Б. ц.

ББК 22.12 я7

Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ

   ЖОҒАРЫ МАТЕМАТИКА


   Математика негізі және математикалық логика


Кл.слова (ненормированные):
комплекс сан -- Коши интегралы -- Лоран қатары -- шегерім -- Лаплас түрлендіруі

22.18
А36

Айзерман, М. А.
    Логика, автоматы, алгоритмы [Электронный ресурс] : учебник / М. А. Айзерман, Л. А. Гусев. - Москва : Физико-математической литературы, 1963. - 556 с. - Б. ц.

ББК 22.18

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
элементы математической логики -- исчисление высказываний -- абстрактная структура -- алгоритмы

Доп.точки доступа:
Гусев, Л.А.

Айзерман, М.А. Логика, автоматы, алгоритмы [Электронный ресурс] : учебник / М. А. Айзерман, Л. А. Гусев, 1963. - 556 с.

12.

Айзерман, М.А. Логика, автоматы, алгоритмы [Электронный ресурс] : учебник / М. А. Айзерман, Л. А. Гусев, 1963. - 556 с.


22.18
А36

Айзерман, М. А.
    Логика, автоматы, алгоритмы [Электронный ресурс] : учебник / М. А. Айзерман, Л. А. Гусев. - Москва : Физико-математической литературы, 1963. - 556 с. - Б. ц.

ББК 22.18

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
элементы математической логики -- исчисление высказываний -- абстрактная структура -- алгоритмы

Доп.точки доступа:
Гусев, Л.А.

87.4я7
А32

Айтбаев, Ө.
    Логика : оқу құралы / пікір жазған Ғ.Ғ.Ақмамбетов. - Алматы : Қазақстан, 1994. - 155 б. - Б. ц.

ББК 87.4я7

Рубрики: Логика

Кл.слова (ненормированные):
логикалық зерттеулер -- ұғым

Айтбаев, Ө. Логика [Текст] : оқу құралы / пікір жазған Ғ.Ғ.Ақмамбетов, 1994. - 155 б.

13.

Айтбаев, Ө. Логика [Текст] : оқу құралы / пікір жазған Ғ.Ғ.Ақмамбетов, 1994. - 155 б.


87.4я7
А32

Айтбаев, Ө.
    Логика : оқу құралы / пікір жазған Ғ.Ғ.Ақмамбетов. - Алматы : Қазақстан, 1994. - 155 б. - Б. ц.

ББК 87.4я7

Рубрики: Логика

Кл.слова (ненормированные):
логикалық зерттеулер -- ұғым

22
А39

Акимов, О. Е.
    Дискретная математика [Электронный ресурс.] : учебное пособие / О. Е. Акимов. - М. : Лаборатория Базовых Знаний, 2003. - 376 с. - Б. ц.

УДК
ББК 22

Рубрики: МАТЕМАТИКА

   ИНФОРМАТИКА


   ЭЛЕКТРОНИКА


Кл.слова (ненормированные):
логика -- графы -- конструкция -- математика -- задачи -- метод -- информатика

Акимов, О.Е. Дискретная математика [Электронный ресурс.] : учебное пособие / О. Е. Акимов, 2003. - 376 с.

14.

Акимов, О.Е. Дискретная математика [Электронный ресурс.] : учебное пособие / О. Е. Акимов, 2003. - 376 с.


22
А39

Акимов, О. Е.
    Дискретная математика [Электронный ресурс.] : учебное пособие / О. Е. Акимов. - М. : Лаборатория Базовых Знаний, 2003. - 376 с. - Б. ц.

УДК
ББК 22

Рубрики: МАТЕМАТИКА

   ИНФОРМАТИКА


   ЭЛЕКТРОНИКА


Кл.слова (ненормированные):
логика -- графы -- конструкция -- математика -- задачи -- метод -- информатика

32.97
А50

Алиев, В. К.
    Информатика в задачах, примерах, алгоритмах [Электронный ресурс] / В. К. Алиев. - Москва : СОЛОН-Р, 2001. - 74 с. - Б. ц.

ББК 32.97

Рубрики: ИНФОРМАЦИОННЫЕ СИСТЕМЫ

   ИНФОРМАТИКА


Кл.слова (ненормированные):
алгоритмы -- переменная -- арифметические операции -- линейные программы -- условный оператор -- циклы -- файлы -- работа с файлами -- логика

Алиев, В.К. Информатика в задачах, примерах, алгоритмах [Электронный ресурс] / В. К. Алиев, 2001. - 74 с.

15.

Алиев, В.К. Информатика в задачах, примерах, алгоритмах [Электронный ресурс] / В. К. Алиев, 2001. - 74 с.


32.97
А50

Алиев, В. К.
    Информатика в задачах, примерах, алгоритмах [Электронный ресурс] / В. К. Алиев. - Москва : СОЛОН-Р, 2001. - 74 с. - Б. ц.

ББК 32.97

Рубрики: ИНФОРМАЦИОННЫЕ СИСТЕМЫ

   ИНФОРМАТИКА


Кл.слова (ненормированные):
алгоритмы -- переменная -- арифметические операции -- линейные программы -- условный оператор -- циклы -- файлы -- работа с файлами -- логика

87.3
А56

Аль-Фараби, Абу Наср Мухаммад.
    Логические трактаты [Электронный ресурс] : перевод с арабского / Абу Наср Мухаммад Аль-Фараби. - Алма-Ата : Наука, 1975. - 670 с. - Б. ц.

ББК 87.3

Рубрики: ФИЛОСОФИЯ

   ИСТОРИЯ ФИЛОСОФИИ


Кл.слова (ненормированные):
Аль-Фараби -- трактаты -- логика -- Эйсагоге -- Катагурийас -- силлогизм -- софистика -- риторика -- познания аль-Фараби -- логический статус

Аль-Фараби, Абу Наср Мухаммад. Логические трактаты [Электронный ресурс] : Перевод с арабского / Абу Наср Мухаммад Аль-Фараби, 1975. - 670 с.

16.

Аль-Фараби, Абу Наср Мухаммад. Логические трактаты [Электронный ресурс] : Перевод с арабского / Абу Наср Мухаммад Аль-Фараби, 1975. - 670 с.


87.3
А56

Аль-Фараби, Абу Наср Мухаммад.
    Логические трактаты [Электронный ресурс] : перевод с арабского / Абу Наср Мухаммад Аль-Фараби. - Алма-Ата : Наука, 1975. - 670 с. - Б. ц.

ББК 87.3

Рубрики: ФИЛОСОФИЯ

   ИСТОРИЯ ФИЛОСОФИИ


Кл.слова (ненормированные):
Аль-Фараби -- трактаты -- логика -- Эйсагоге -- Катагурийас -- силлогизм -- софистика -- риторика -- познания аль-Фараби -- логический статус

22.1
А60

Аляев, Ю. А.
    Дискретная математика и математическая логика [Электронный ресурс] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. - Б. ц.

ББК 22.1

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
дискретная математика -- булевы алгебры -- множества -- элементы общей алгебры

Доп.точки доступа:
Тюрин, С.Ф.

Аляев, Ю.А. Дискретная математика и математическая логика [Электронный ресурс] : Учебник / Ю. А. Аляев, С. Ф. Тюрин, 2006. - 368 с.

17.

Аляев, Ю.А. Дискретная математика и математическая логика [Электронный ресурс] : Учебник / Ю. А. Аляев, С. Ф. Тюрин, 2006. - 368 с.


22.1
А60

Аляев, Ю. А.
    Дискретная математика и математическая логика [Электронный ресурс] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. - Б. ц.

ББК 22.1

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
дискретная математика -- булевы алгебры -- множества -- элементы общей алгебры

Доп.точки доступа:
Тюрин, С.Ф.

22.1
А65

Андерсон, Дж.
    Дискретная математика комбинаторика [Электронный ресурс] : учебное пособие / Дж Андерсон. - М. : Вильямс, 2004. - 959 с. - Б. ц.

ББК 22.1

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
таблицы истинности -- логика -- доказательства -- теория множества -- функции и матрицы

Андерсон, Дж. Дискретная математика комбинаторика [Электронный ресурс] : Учебное пособие / Дж Андерсон, 2004. - 959 с.

18.

Андерсон, Дж. Дискретная математика комбинаторика [Электронный ресурс] : Учебное пособие / Дж Андерсон, 2004. - 959 с.


22.1
А65

Андерсон, Дж.
    Дискретная математика комбинаторика [Электронный ресурс] : учебное пособие / Дж Андерсон. - М. : Вильямс, 2004. - 959 с. - Б. ц.

ББК 22.1

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


Кл.слова (ненормированные):
таблицы истинности -- логика -- доказательства -- теория множества -- функции и матрицы

22.14
А67

Анкудинов, Г. И.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.

УДК
ББК 22.14

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ТЕОРИЯ ВЕРОЯТНОСТЕЙ


Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики

Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.

Анкудинов, Г.И. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов, 2003. - 104 с.

19.

Анкудинов, Г.И. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов, 2003. - 104 с.


22.14
А67

Анкудинов, Г. И.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.

УДК
ББК 22.14

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ТЕОРИЯ ВЕРОЯТНОСТЕЙ


Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики

Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.

22.12я73
А87

Архангельский, Александр Владимирович.
    Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский. - Москва : Изд-во МГУ, 1988. - 112 с. - Б. ц.

ББК 22.12я73

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
определение кардиналов -- кардинальная арифметика -- арифметика -- умножение кардиналов -- теорема о жесткости -- сложение кардиналов

Архангельский, Александр Владимирович. Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский, 1988. - 112 с.

20.

Архангельский, Александр Владимирович. Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский, 1988. - 112 с.


22.12я73
А87

Архангельский, Александр Владимирович.
    Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский. - Москва : Изд-во МГУ, 1988. - 112 с. - Б. ц.

ББК 22.12я73

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
определение кардиналов -- кардинальная арифметика -- арифметика -- умножение кардиналов -- теорема о жесткости -- сложение кардиналов

Page 2, Results: 244

 

All acquisitions for 
Or select a month