Главная Описание Шлюз 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 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математика -- история математики -- теория вероятностей -- математическая статистика -- численные методы -- математические методы -- вычислительная математика -- кибернетика -- математическая логика

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


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

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


    Программы педагогических институтов : государственный экзамен по методике преподавания математики. Общая физика. - М. : Просвещение, 1980 - .
   Сб.10. - 40 с. - 00.50 р.
ББК 74.58
Рубрики: Педагогика
Кл.слова (ненормированные):
методика преподавания -- программа -- теоретическая физика -- математическая логика -- математика -- общая физика

Экземпляры всего: 3
ЧЗ (1), АБ (2)
Свободны: ЧЗ (1), АБ (2)
Найти похожие
4.
   51
   Б59


    Бизам, Д.
    Многоцветная логика : 175 логических задач / Бизам, Д., Герцег, Я. - М. : Мир, 1978. - 434 с. - 11.00 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- математическая логика -- логика -- задачи -- 08


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


    Карри, Х. Б.
    Основания математической логики / Карри, Х. Б. - М. : Мир, 1969. - 568 с. - Б. ц.
УДК
Рубрики: Математика--основания математики
Кл.слова (ненормированные):
математика -- логика -- математическая логика -- основания логики

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


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

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


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


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


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


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


    Гладкий, А. В.
    Язык математической логики : учеб. пособие / Гладкий, А. В. - Калинин : Калининский гос. ун-т, 1977. - 84 с. - Б. ц. !opri451_H.pft: FILE NOT FOUND!
УДК
Рубрики: Математика
Кл.слова (ненормированные):
11 -- математика -- математическая логика

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


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


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


    Игошин, В. И.
    Математическая логика и теория алгоритмов : учебное пособие для пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Саратов. ун-та, 1991. - 256 с. - 11-00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Логика -- Математическая логика -- Теория алгоритмов

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


    Харин, Н. Н.
    Математическая логика и теория множеств: (о соотношении абстрактного и конкретного) : / Н. Н. Харин ; ред. Я. Л. Харапинский. - [S. l.] : Росвузиздат, 1963. - !okolhr.pft: FILE NOT FOUND! . - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория множеств


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


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


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


    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов / Лавров, И. А., Максимова, Л. Л. 0. - 2-е изд. - М. : Наука, 1984. - 223 с. - Б. ц.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
08 -- математика -- математическая логика -- теория алгоритмов -- множества -- задачи


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


    Ершов, Ю. Л.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 4-е, стер. - СПб. : Лань, 2005. - 336 с. - ISBN 5811405332 : 1480.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- теория множеств -- алгебраические системы -- исчисление предикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции


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


    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - Изд. 5-е, испр. - М. : ФИЗМАТЛИТ, 2004. - 255 с. - ISBN 5922100262 : 920.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математика -- теория множеств -- математическая логика -- теория алгоритмов


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

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


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


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

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


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


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


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

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


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