Главная
Описание
Шлюз Z39.50
Авторизация
Фамилия
Пароль
Научная библиотека имени академика С. Бейсембаева
Базы данных
КНИГИ - результаты поиска
Вид поиска
КНИГИ
СТАТЬИ
ГОСТы
Диссертации
Журналы
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
в найденном
Найдено в других БД:
СТАТЬИ (5)
Диссертации (1)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=математическая логика<.>)
Общее количество найденных документов
:
44
Показаны документы
с 1 по 20
1-20
21-40
41-44
1.
51
И90
История отечественной математики : в 4 т. - Киев : Наукова думка, 1970 - .
Т.4. Кн.2
: 1917-1967. - 668 с. - 28.00 р.
УДК
51
51(09)
Рубрики:
Математика
Кл.слова (ненормированные):
математика
--
история математики
--
теория вероятностей
--
математическая
статистика
--
численные методы
--
математические методы
--
вычислительная математика
--
кибернетика
--
математическая
логика
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
2.
51
Б82
Боревский, Л. Я.
Курс математики 2000 для школьников и абитуриентов [Электронный ресурс] / Л. Я. Боревский. - Электрон. дан. (576 Мб.). - М. : МедиаХаус, 2000. - 1 эл. опт. диск (CD-ROM). - Загл. с этикетки диска. - 4379.00 тг.
УДК
51
Рубрики:
Математика
Кл.слова (ненормированные):
множества
--
140
--
математическая
логика
--
функции
--
уравнения
--
неравенства
--
задачи
--
тождества
--
CD
Экземпляры всего:
1
Медиатека (1)
Свободны:
Медиатека (1)
Найти похожие
3.
51
Б59
Бизам, Д.
Многоцветная
логика
: 175 логических задач / Бизам, Д., Герцег, Я. - М. : Мир, 1978. - 434 с. - 11.00 р.
УДК
51
510.6(076.1)
Рубрики:
Математика--
математическая
логика
Кл.слова (ненормированные):
математика
--
математическая
логика
--
логика
--
задачи
--
08
Доп.точки доступа:
Герцег, Я.
Экземпляры всего:
1
АБ (1)
Свободны:
АБ (1)
Найти похожие
4.
51
К26
Карри, Х. Б.
Основания математической логики / Карри, Х. Б. - М. : Мир, 1969. - 568 с. - Б. ц.
УДК
51
510.6
Рубрики:
Математика--основания математики
Кл.слова (ненормированные):
математика
--
логика
--
математическая
логика
--
основания логики
!!!kw7ex.pft: FILE NOT FOUND!
Найти похожие
5.
51
К17
Калужнин Л.А.
Элементы теории множеств и математической логики в школьном курсе математики : пособие для учителей / Калужнин Л.А. - М. : Просвещение, 1978. - 88 с. - Б. ц.
УДК
51
510(07)
Рубрики:
Математика
Кл.слова (ненормированные):
теория множеств
--
математическая
логика
--
математика
Свободных экз. нет
Найти похожие
6.
51
Е80
Ершов, Ю. Л.
Математическая
логика
: учебное пособие для матем. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
УДК
510.6(075.8)
Рубрики:
Математика--
Математическая
логика
Кл.слова (ненормированные):
математическая
логика
--
исчисление высказываний
--
исчисление пикатов
--
теория моделей
--
теория доказательств
--
алгоритмы
--
рекурсивные функции
--
08
Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего:
9
ЧЗ (2), АБ (7)
Свободны:
ЧЗ (2), АБ (7)
Найти похожие
7.
51
Г47
Гилберт, Д.
Основания математики: теория доказательств / Гилберт, Д., Бернайс, П. - М. : Наука, 1982. - 652 с. - (
Математическая
логика
и основания математики). - Б. ц.
УДК
51
Рубрики:
Математика
Кл.слова (ненормированные):
11
--
математика
--
теория доказательств
--
математическая
логика
--
основания математики
Доп.точки доступа:
Бернайс, П.
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
8.
51
Г52
Гладкий, А. В.
Язык математической логики : учеб. пособие / Гладкий, А. В. - Калинин : Калининский гос. ун-т, 1977. - 84 с. - Б. ц.
УДК
51
510.62(075.8)
Рубрики:
Математика
Кл.слова (ненормированные):
11
--
математика
--
математическая
логика
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
9.
51
И25
Ивс, Г.
О математической логике и философии математики : (начальные сведения об основаниях математики): пер. с англ. / Ивс, Г., Ньюсом, К. В. - М. : Знание, 1968. - 48 с. - 1.00 р.
УДК
51
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 с. - (Современная математика). - Б. ц.
УДК
51
510.6
Рубрики:
Математика--
математическая
логика
Кл.слова (ненормированные):
математика
--
математическая
логика
--
логика
--
08
Доп.точки доступа:
Улам, С.
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
13.
51
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов / Лавров, И. А., Максимова, Л. Л. 0. - 2-е изд. - М. : Наука, 1984. - 223 с. - Б. ц.
УДК
51
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 р.
УДК
51
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 р.
УДК
51
510.6
Рубрики:
Математика--
математическая
логика
Кл.слова (ненормированные):
я08
--
математика
--
математическая
логика
--
алгебра высказываний
--
исчисление
--
теоремы
--
логика
предикатов
--
аксиомы
--
формулы
--
арифметика
--
множители
--
теория доказательств
--
дар Касенова
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-20
21-40
41-44
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015