Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
в найденном
 Найдено в других БД:Книжный фонд (28)Статьи (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=математическая логика<.>
Общее количество найденных документов : 25
Показаны документы с 1 по 10
 1-10    11-20   21-25 
1.
   22.12
   Ж64

    Жетпісов, Қ.
    Математикалық логика және дискретті математика [Текст] : оқулық / Қ. Жетпісов. - Алматы : [б. и.], 2011. - 264 с. - ISBN 978-601-217-186-0 : 494 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- оқулық -- высшая -- математическая логика -- комбинаторный анализ -- дискретная математика -- теория графов

Экз-ры: чзт(5), аб(12)

” Цитировать
Найти похожие
2.
   22.176
   М82

    Москинова, Г. И.
    Дискретная математика. Математика для менеджера в примерах и упражнениях [Текст] : учебное пособие для вузов / Москинова Г.И. - М. : Логос, 2003. - 240с. - (Учебник ХХI века). - ISBN 5940100163 : 1050.00 р.
ББК 22.176
Рубрики: Математика--дискретный анализ
Кл.слова (ненормированные):
дискретная математика -- учебник -- математика -- теория -- множества -- отношения -- бинарные -- определения -- эквивалентность -- порядок -- свойства -- соответствия -- отображения -- математическая логика -- булева алгебра -- логика предикатов -- теория графов -- маршруты

Экз-ры: чзт(5), аб(5)

” Цитировать
Найти похожие
3.
   22.12
   М34

    Хомутенко, Л. Г.
    Математическая логика [Текст] : опорный конспект лекций / Сост. Л.Г. Хомутенко. - Павлодар : ПаУ, 2004. - 60с. - б/ц р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- учебное пособие -- алгебра высказываний -- множество -- теория доказательств -- булевы функции -- формула -- соответствия -- предиката -- кванторы

Экз-ры: умо(1), чзт(5), аб(10)

” Цитировать
Найти похожие
4.
   22.176
   А90

    Асеев, Г. Г.
    Дискретная математика [Текст] : учебное пособие / Г.Г. Асеев, О.М. Абрамов, Д.Э. Ситников. - Ростов-н/Д. : Феникс, 2003. - 144с. - (Высшее образование. Учебники). - ISBN 5222037754 : 290.00 р.
ББК 22.176
Рубрики: Математика--дискретный анализ
Кл.слова (ненормированные):
дискретная -- учебник -- множества -- функция -- аксиома -- бесконечность -- математическая логика -- теория графов -- число -- комбинаторика -- матрица -- деревья -- эквивалентность -- произведение -- композиция чисел



Соавторы:
Абрамов, О.М.; Ситников, Д.Э.
Экз-ры: чзт(2)

” Цитировать
Найти похожие
5.
   22.1
   М34

   Кабулова, А. Р.
    Математика. Специальность 030140 [Текст] : типовая учебная программа / А. Р. Кабулова. - Алматы : [б. и.], 2003 - .Математика. Специальность 030140 / Кабулова А.Р., Т. М. Алдибеков, А. А. Болен, М. Ж. Бекпатшаев. - Алматы : [б. и.], 2003. - 98 с. - (Образование высшее профессиональное). - Б. ц.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
типовая учебная программа -- математика -- элементарная -- математический анализ -- алгебра -- теория чисел -- геометрия -- дифференциальные уравнения -- теория функций -- теория вероятностей -- математическая статистика -- дискретная математика -- математическая логика -- информатика -- история математики -- топология



Соавторы:
Алдибеков, Т.М.; Болен, А.А.; Бекпатшаев, М.Ж.
Экз-ры: умо(1)

” Цитировать
Найти похожие
6.
   22.176
   Б43

    Белоусов, А. И.
    Дискретная математика [Текст] : учебник для втузов / Под ред. В.С. Зарубина, А.П. Крищенко. - 3-е изд., стереотип. - М. : МГТУ им. Н.Э. Баумана, 2004. - 744с. - (Математика в техническом университете. Вып. ХIХ). - ISBN 5703817692 : 1680.00 р.
ББК 22.176
Рубрики: Математика--дискретный анализ
Кл.слова (ненормированные):
дискретная -- учебник -- множества -- функция -- аксиома -- бесконечность -- математическая логика -- теория графов -- число -- комбинаторика -- матрица -- деревья -- эквивалентность -- произведение -- композиция чисел



Соавторы:
Ткачев, С.Б.
Экз-ры: аб(2)

” Цитировать
Найти похожие
7.
   22.1
   Л86

    Лурье, Л. И.
    Основы высшей математики [Текст] : учебное пособие / Лурье Л.И. - М. : ИТК Дашков и К, 2002. - 520с. - ISBN 5947980916 : 850.00 р.
ББК 22.1
Рубрики: Математика--высшая
Кл.слова (ненормированные):
математическое моделирование -- учебник -- математическая логика -- векторная алгебра -- плоскость -- математический анализ -- определитель -- уравнение -- метод -- элемент -- преобразование линейное -- группы -- математический анализ -- функция -- предел -- дифференциал -- производная -- интеграл

Экз-ры: аб(2)

” Цитировать
Найти похожие
8.
   22.1
   М 34

   Кабулова, А. Р.
    Математика. Мамандығы 030140 [Текст] : типтiқ оқу багдарламалары / А. Р. Кабулова. - Алматы : [б. и.], 2003 - .Математика. Мамандығы 030140 / Кабулова А.Р., Т. М. Алдибеков, А. А. Болен, М. Ж. Бекпатшаев. - Алматы : [б. и.], 2003. - 94 б. с. - (Жоғары кәсiптiк бiлiм). - Б. ц.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
типовая учебная программа -- математика -- элементарная -- математический анализ -- алгебра -- теория чисел -- геометрия -- дифференциальные уравнения -- теория функций -- теория вероятностей -- математическая статистика -- дискретная математика -- математическая логика -- информатика -- история математики -- топология



Соавторы:
Алдибеков, Т.М.; Болен, А.А.; Бекпатшаев, М.Ж.
Экз-ры: умо(1)

” Цитировать
Найти похожие
9.
   32.973.26-018
   Л13

    Лавров, С. С.
    Программирование. Математические основы, средства, теория [Текст] : учебное пособие / Лавров С.С. - СПб. : БХВ-Петербург, 2001. - 320 с. : ил. - ISBN 5941570694 : 800.00 р.
ББК 32.973.26-018
Рубрики: Компьютеры--программирование
Кл.слова (ненормированные):
программирование -- учебник -- язык программирования -- язык Липс -- программа -- данные -- база данных -- память -- обработка данных -- блок -- программное обеспечение -- математическая логика -- теория множеств -- теория вычислимости

Экз-ры: аб(2)

” Цитировать
Найти похожие
10.
   22.1
   Г83

    Григулецкий, В. Г.
    Высшая математика для экономистов [Текст] : учебное пособие для вузов / Григулецкий В.Г., Ященко З.В. - Ростов-н/Д. : Феникс, 2004. - 640с. - ISBN 5222048853 : 1800.00 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
экономический расчет -- учебник -- теория множеств -- математическая логика -- комбинаторика -- линейная алгебра -- определитель -- вектор -- геометрия -- теория графов -- функции одной переменной -- предел -- дифференциал -- управление -- интеграл -- комплексные числа -- уравнение -- бесконечные ряды



Соавторы:
Ященко, З.В.
Экз-ры: чзт(2)

” Цитировать
Найти похожие
 1-10    11-20   21-25 
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)