Научная библиотека имени академика С. Бейсембаева

Главная

Описание

Базы данных

КНИГИ - результаты поиска

Вид поиска

КНИГИ

Область поиска

в найденном

Найдено в других БД:

СТАТЬИ (5)

Диссертации (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=математическая логика<.>)

Общее количество найденных документов : 44
Показаны документы с 1 по 20

1-20 21-40 41-44

   51
   И90

    История отечественной математики : в 4 т. - Киев : Наукова думка, 1970 - .
   Т.4. Кн.2 : 1917-1967. - 668 с. - 28.00 р.

УДК

51(09)

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

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

   51
   Б82

    Боревский, Л. Я.
    Курс математики 2000 для школьников и абитуриентов [Электронный ресурс] / Л. Я. Боревский. - Электрон. дан. (576 Мб.). - М. : МедиаХаус, 2000. - 1 эл. опт. диск (CD-ROM). - Загл. с этикетки диска. - 4379.00 тг.

УДК

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

Экземпляры всего: 1
Медиатека (1)
Свободны: Медиатека (1)
Найти похожие

   51
   Б59

    Бизам, Д.
    Многоцветная логика : 175 логических задач / Бизам, Д., Герцег, Я. - М. : Мир, 1978. - 434 с. - 11.00 р.

УДК

510.6(076.1)

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

Доп.точки доступа:
Герцег, Я.
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие

   51
   К26

    Карри, Х. Б.
    Основания математической логики / Карри, Х. Б. - М. : Мир, 1969. - 568 с. - Б. ц.

УДК

510.6

Рубрики: Математика--основания математики
Кл.слова (ненормированные):
математика -- логика -- математическая логика -- основания логики
!!!kw7ex.pft: FILE NOT FOUND!
Найти похожие

   51
   К17

    Калужнин Л.А.
    Элементы теории множеств и математической логики в школьном курсе математики : пособие для учителей / Калужнин Л.А. - М. : Просвещение, 1978. - 88 с. - Б. ц.

УДК

510(07)

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

Свободных экз. нет
Найти похожие

   51
   Е80

    Ершов, Ю. Л.
    Математическая логика : учебное пособие для матем. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.

УДК

510.6(075.8)

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

Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 9
ЧЗ (2), АБ (7)
Свободны: ЧЗ (2), АБ (7)
Найти похожие

   51
   Г47

    Гилберт, Д.
    Основания математики: теория доказательств / Гилберт, Д., Бернайс, П. - М. : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - Б. ц.

УДК

Рубрики: Математика
Кл.слова (ненормированные):
11 -- математика -- теория доказательств -- математическая логика -- основания математики

Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

   51
   Г52

    Гладкий, А. В.
    Язык математической логики : учеб. пособие / Гладкий, А. В. - Калинин : Калининский гос. ун-т, 1977. - 84 с. - Б. ц.

УДК

510.62(075.8)

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

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

   51
   И25

    Ивс, Г.
    О математической логике и философии математики : (начальные сведения об основаниях математики): пер. с англ. / Ивс, Г., Ньюсом, К. В. - М. : Знание, 1968. - 48 с. - 1.00 р.

УДК

510

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

Доп.точки доступа:
Ньюсом, К. В.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

10.

   51
   И26

    Игошин, В. И.
    Математическая логика и теория алгоритмов : учебное пособие для пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Саратов. ун-та, 1991. - 256 с. - 11-00 р.

УДК

510(075.8)

Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Логика -- Математическая логика -- Теория алгоритмов

Свободных экз. нет
Найти похожие

11.

   51
   Х20

    Харин, Н. Н.
    Математическая логика и теория множеств: (о соотношении абстрактного и конкретного) : / Н. Н. Харин ; ред. Я. Л. Харапинский. - [Б. м.] : Росвузиздат, 1963. - 192 с. - Б. ц.

УДК

510

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

Доп.точки доступа:
Харапинский, Я. Л. \ред.\
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие

12.

   51
   К30

    Кац, М.
    Математика и логика. Ретроспектива и перспективы / Кац, М., Улам, С. - М. : Мир, 1971. - 251 с. - (Современная математика). - Б. ц.

УДК

510.6

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

Доп.точки доступа:
Улам, С.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

13.

   51
   Л13

    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов / Лавров, И. А., Максимова, Л. Л. 0. - 2-е изд. - М. : Наука, 1984. - 223 с. - Б. ц.

УДК

510(076.1)

Рубрики: Математика
Кл.слова (ненормированные):
08 -- математика -- математическая логика -- теория алгоритмов -- множества -- задачи

Доп.точки доступа:
Максимова, Л. Л. 0
Экземпляры всего: 7
ЧЗ (7)
Свободны: ЧЗ (7)
Найти похожие

14.

   51
   Е80

    Ершов, Ю. Л.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 4-е, стер. - СПб. : Лань, 2005. - 336 с. - ISBN 5811405332 : 1480.00 р.

УДК

510.6(075.8)

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

Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие

15.

   51
   Л13

    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - Изд. 5-е, испр. - М. : ФИЗМАТЛИТ, 2004. - 255 с. - ISBN 5922100262 : 920.00 р.

УДК

510(076.1)

Рубрики: Математика
Кл.слова (ненормированные):
математика -- теория множеств -- математическая логика -- теория алгоритмов !!!kk4ann_W.pft: FILE NOT FOUND!

Доп.точки доступа:
Максимова, Л. Л.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие

16.

   512
   А90

    Асеев, Г. Г.
    Дискретная математика : учебное пособие / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. - Ростов н/Д : Феникс ; Харьков : Торсинг, 2003. - 143 с. - (Серия "Учебники"). - ISBN 5-222-03775-4 : 250.00 р.

УДК

512.54.0(075)

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

Доп.точки доступа:
Абрамов, О. М.; Ситников, Д. Э.
Экземпляры всего: 10
ЧЗ (5), АБ (5)
Свободны: ЧЗ (5), АБ (5)
Найти похожие

17.

   004
   И74


    Информатика и математика для юристов : учебное пособие для вузов , обучающихся по юрид. спец. / под ред.: Х. А. Андриашина, С. Я. Казанцева. - М. : ЮНИТИ: Закон и право, 2003. - 463 с. - ISBN 5238002203 : 880.00 р.

УДК

004(075.8)

519.2(075.8)

Рубрики: Информационные технологии
Математика
Кл.слова (ненормированные):
информационные технологии -- математика -- информатика -- математическое моделирование -- теория вероятностей -- математическая статистика -- персональный компьютер -- информационно-вычислительные сети -- ИВС -- математическая логика

Доп.точки доступа:
Андриашина, Х. А. \ред.\; Казанцева, С. Я. \ред.\
Экземпляры всего: 16
ЧЗ (5), АБ (11)
Свободны: ЧЗ (5), АБ (11)
Найти похожие

18.

   51
   У77

    Успенский, В. А.
    Вводный курс математической логики / Успенский, В. А., Верещагин, Н. К., Плиско, В. Е. - М. : ФИЗМАТЛИТ, 2004. - 125 с. - ISBN 5922102788 : 675.00 р.

УДК

510.6

Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
м06 -- математика -- математическая логика -- логико-математические языки -- теория множеств -- теорема Геделя -- полнота -- теория алгоритмов

Доп.точки доступа:
Верещагин, Н. К.; Плиско, В. Е.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие

19.

   51
   Т33

    Еримбетов, М. М.
    Теория моделей в Казахстане : сборник науч. работ, посвящ. памяти А. Д. Тайманова / Еримбетов, М. М. ; ред.: Мейрембеков, К. А., Кулпешов, Б. Ш. - Алматы : Eco Study, 2006. - 448 с. - ISBN 9965971838 : 750.00 р.

УДК

510.67

519.6

Рубрики: Математика--Казахстан
Кл.слова (ненормированные):
математика -- вычислительная математика -- математическая логика -- теория моделей -- Казахстан -- дар Еримбетова -- Тайманов А. Д. -- статьи -- теоретико-модельная алгебра -- прикладная логика -- конструктивные модели -- сборник -- научные работы

Доп.точки доступа:
Мейрембеков, К. А. \ред.\; Кулпешов, Б. Ш. \ред.\
Экземпляры всего: 4
ЧЗ (1), АБ (3)
Свободны: ЧЗ (1), АБ (3)
Найти похожие

20.

   51
   Н73

    Новиков, П. С.
    Элементы математической логики / Новиков, П. С. - Изд. 2-е, испр. - М. : Наука, 1973. - 399 с. - (Математическая логика и основания математики). - 14.00 р.

УДК

510.6

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

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

1-20 21-40 41-44

Тематический навигатор