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

Базы данных


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

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

” Цитировать
Найти похожие
11.
   22.12
   И26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - М. : Академия, 2004. - 448с. - ISBN 5769513632 : 2300.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- учебник -- теория -- алгоритм -- функции -- булевы функции -- логика предикатов -- аксиоматический -- множества -- анализ -- алгебра -- геометрия -- математическое программирование -- язык -- ПРОЛОГ -- информатика

Экз-ры: чзт(1)

” Цитировать
Найти похожие
12.
   22.12
   С89

    Судоплатов, С. В.
    Математическая логика и теория алгоритмов [Текст] : учебник / Судоплатов С.В., Овчинникова Е.В. - М. : ИНФРА-М, 2004. - 224с. - ISBN 5160019758 : 1200.00 р.
ББК 22.12
Рубрики: Математика--математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- учебник -- теория алгоритмов -- элементы -- модель -- алгоритм -- функция -- аксиома -- арифметика -- алгебра -- эквивалентность



Соавторы:
Овчинникова, Е.В.
Экз-ры: чзт(1), аб(1)

” Цитировать
Найти похожие
13.
   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебное пособие для вузов / Ершов Ю.Л., Палютин Е.А., 3-е изд., стер. - СПб. М. : Лань, 2004. - 336с. - ISBN 5811405332 : 2400.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
учебник -- математическая логика -- исчисление -- множество -- истинность -- предикат -- модель -- доказательство -- алгоритм -- функция -- рекурсивная -- теория множеств -- теория моделей -- теория доказательств -- аксиома -- высказывание



Соавторы:
Палютин, Е.А.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
14.
   22.1
   Ж79

    Жолков, С. Ю.
    Математика и информатика для гуманитариев [Текст] : учебник для вузов / Жолков С.Ю. - 2-е изд., испр. и доп. - М. : Альфа-М, 2005. - 528 с. - ISBN 5982810495 : 2000.00 р.
ББК 22.1 + 32.811
Рубрики: Математика
   Информатика
Кл.слова (ненормированные):
математика -- учебник -- информатика -- число -- комплексные числа -- максимум -- минимум -- рациональное -- деление на части -- линейная алгебра -- математический анализ -- вектор -- предел функции -- числовые ряды -- интеграл -- математическая логика -- алгоритм -- комбинаторика

Экз-ры: чзт(1)

” Цитировать
Найти похожие
15.
   22.176
   С54

    Соболева, Т. С.
    Дискретная математика [Текст] : учебник для вузов / Соболева Т.С., Чечкин А.В. - М. : Академия, 2006. - 256 с. - 2400.00 р.
ББК 22.176
Рубрики: Математика--дискретная математика
Кл.слова (ненормированные):
дискретная -- учебник -- множества -- функция -- аксиома -- бесконечность -- комбинаторика -- отношения -- топология -- математическая логика -- теория графов -- число -- предиката -- математическая кибернетика -- информатика -- матрица -- деревья -- эквивалентность -- произведение -- композиция чисел



Соавторы:
Чечкин, А.В.
Экз-ры: аб(1)

” Цитировать
Найти похожие
16.
   22.12
   К60

    Колмогоров, А. Н.
    Математическая логика [Текст] : учебное пособие / Колмогоров А.Н., Драгалин А.Г. - 3-е изд., стер. - М. : Комкнига, 2006. - 240 с. - ISBN 5484005205 : 1900.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
число натуральное -- учебное пособие -- теория множеств -- функция -- отношения -- булева алгебра -- исчисление -- предикаты -- логические законы -- дедукция -- аксиома -- алгорифм -- теория доказательств -- математическая логика -- математика



Соавторы:
Драгалин, А.Г.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
17.
   22.12
   И26

    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для вузов / Игошин В.И. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - ISBN 5769513632 : 2800.00 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- функции -- булевы функции -- логика предикатов -- аксиома -- множества -- анализ -- алгебра -- геометрия -- математическое программирование

Экз-ры: чзт(1)

” Цитировать
Найти похожие
18.
   22.1
   Ф 88

    Фридман, Л. М.
    Учитесь учиться математике [Текст] : книга для учителя / Фридман Л.М. - М. : Просвещение, 1985. - 112 с. - 30.00 р.
ББК 22.1
Рубрики: Математика--теория
Кл.слова (ненормированные):
математика -- учебное пособие -- математический анализ -- арифметика -- теория чисел -- математическая логика -- геометрия -- алгебра -- урок -- учебный план -- программа

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

” Цитировать
Найти похожие
19.
   22.176
   Д18

    Данилов, В. Г.
    Дискретная математика [Текст] : учебное пособие для вузов / В.Г. Данилов, В.Л. Дубнов, А.Р. Лакерник. - М. : Телеком, 2008. - 136 с. - ISBN 97859126202 : 1450.00 р.
ББК 22.176
Рубрики: Математика--дискретная
Кл.слова (ненормированные):
дискретная математика -- теория множеств -- математическая логика -- функции -- булевы формулы -- теория графов -- алгоритм -- предикаты -- анализ дискретный -- преобразования -- кванторы



Соавторы:
Дубнов, В.Л.; Лакерник, А.Р.; Райцин, А.М.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
20.
   22.12
   А 47

    Алексеев, В. Е.
    Графы и алгоритмы. Структура данных. Модели вычислений [Текст] : учебник / Алексеев В.Е., Таланов В.А. - М. : БИНОМ, 2006. - 320 с. - ISBN 5947546637 : 2600.00 р.
ББК 22.12
Рубрики: Математика--высшая
Кл.слова (ненормированные):
математика -- теория графов -- алгоритм -- функции -- функциональный анализ -- интегральное исчисление -- дифференциальное -- уравнение -- модели вычислений -- структуры данных -- разделеные множества -- бином -- программа -- алгорифм Маркова -- машины Тьюринга -- абак -- математическая логика -- логическое программирование



Соавторы:
Таланов, В.А.
Экз-ры: чзт(1)

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