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

Базы данных


Книжный фонд - результаты поиска

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

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



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

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

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

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

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

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

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

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

    Фридман, М. В.
    Логика для биологов [Текст] / М. В. Фридман, В. С. Фридман. - Новое изд. - М. : ЛКИ, 2008. - 192 с. - ISBN 978-5-382-00678-9 : 1700 р.
ББК 28.087
Рубрики: Биология--прикладная
Кл.слова (ненормированные):
предмет и задачи логики -- формальная логика -- логика для биологов -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- высказвания -- деление понятия -- обобщение и ограничение понятия -- силлогизмы -- определение понятий через род и видовое отличие -- генетические операционные определения -- Булева алгебра -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- пересечение и объединение в силлологистике -- развитие научных понятий -- ТРАНЗИТИВНОСТЬ



Соавторы:
Фридман, В.С.
Экз-ры: аб(3)

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

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

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

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

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

Экз-ры:

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

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



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

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

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



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

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

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



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

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

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

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

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