Пошуковий запит: <.>S=ЕСТЕСТВЕННЫЕ НАУКИ -- ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ -- МАТЕМАТИКА -- ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА<.> |
Загальна кількість знайдених документів : 61
Показані документи с 1 за 20 |
|
1. 
| 22.1
С 81
Столяр, Абрам Аронович.
Логическое введение в математику [Текст] / А. А. Столяр. - Минск : Вышэйшая школа, 1971. - 222 с. - 19000 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика
Примірників всього: 2
Аб. (2)
Свободны: Аб. (2)
Знайти схожі
|
2.
| 22.1
С 89
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов : учебник для вузов / С. В. Судоплатов, Е. В. Овчинникова. - М. : ИНФРА-М ; Новосибирск : Новосибирский гос. технический университет, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- алгоритмы
Дод.точки доступу:
Овчинникова, Елена Викторовна
Примірників всього: 24
Аб. (24)
Свободны: Аб. (24)
Знайти схожі
|
3.
| 22.1
Е 80
Ершов, Юрий Леонидович.
Математическая логика [Текст] : учебное пособие для вузов / Ю. Л. Ершов , Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 30000 прим.. - ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математика -- математическая логика
Дод.точки доступу:
Палютин, Евгений Андреевич
Примірників всього: 57
Аб. (57)
Свободны: Аб. (57)
Знайти схожі
|
4.
| 22.1
У 77
Успенский, Владимир Андреевич.
Что такое нестандартный анализ / В. А. Успенский. - М. : Наука, 1987. - 128 с. - 27 500 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математика -- математическая логика
Примірників всього: 2
Аб. (2)
Свободны: Аб. (2)
Знайти схожі
|
5.
| 22.1
Б 90
Будаева, Любовь Николаевна.
Элементы математической логики и комбинаторика [Текст] : учебно-методическое пособие для вузов по специальности "Педагогика и методика начального образования" / Л. Н. Будаева ; ред. Т. Ф. Фролова. - Бийск : Бийский педагогический гос. университет им. В. М. Шукшина, 2008. - 63 с. - 100 прим.. - ISBN 978-5-85127-451-0ББК 22.12 я73 + 22.14 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--АЛГЕБРА
Кл.слова (ненормовані):
элементарная алгебра -- математика -- алгебра -- комбинаторные задачи -- труды -- теоремы
Дод.точки доступу:
Фролова, Татьяна Федоровна \ред.\
Примірників всього: 36
Аб. (30), Ч.з.№1 (4), Ч.з.№3 (2)
Свободны: Аб. (30), Ч.з.№1 (4), Ч.з.№3 (2)
Знайти схожі
|
6.
| 22.1
Л 65
Лихтарников, Леонид Моисеевич.
Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. : Лань, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 2 000 прим.. - ISBN 978-5-8114-0082-9ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
понятие высказываний -- алгебра буля -- закон двойственности -- исчисление высказываний -- понятие вывода -- правила выводимости -- кванторные операции -- логика предикатов -- математические теории -- алгоритмы
Дод.точки доступу:
Сукачева, Тамара Геннадьевна
Примірників всього: 5
Аб. (5)
Свободны: Аб. (5)
Знайти схожі
|
7.
| 22.1
Л 13
Лавров, Игорь Андреевич.
Математическая логика : учебное пособие для студентов вузов / И. А. Лавров ; ред. Л. Л. Максимова. - М. : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика). - 3 000 прим.. - ISBN 5-7695-2735-8
Рекомендовано Мин. образованияББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
алгебраические системы -- логические системы -- классические алгебраические системы -- построение логических исчислений -- исчисление высказываний -- исчисление предикатов -- теория множеств -- числовые теории -- геометрические теории
Дод.точки доступу:
Максимова, Л. Л. \ред.\
Примірників всього: 20
Аб. (20)
Свободны: Аб. (20)
Знайти схожі
|
8.
| 22.1
И 26
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по специальности "Математика" / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - 2 000 прим.. - ISBN 5-7695-3728-0
Рекомендовано отраслевым мин-вомББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- нормальные формы для формул алгебры высказываний -- логико-математическая практика -- булевы функции -- формализованное исчисление высказываний -- логика предикатов -- формализованное исчисление предикатов -- элементы теории алгоритмов -- машины Тьюринга -- рекурсивные функции -- нормальные алгоритмы Маркова
Примірників всього: 20
Аб. (19), Ч.з.№1 (1)
Свободны: Аб. (19), Ч.з.№1 (1)
Знайти схожі
|
9.
| 22.1
И 26
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - 1 500 прим.. - ISBN 978-5-76954593-1
Рекомендовано Мин. образованияББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления
Примірників всього: 20
Аб. (20)
Свободны: Аб. (20)
Знайти схожі
|
10.
| 22.1
И 26
Игошин, Владимир Иванович.
Задачник-практикум по математической логике : учебное пособие для студентов-заочников физико-математических факультетов пед. вузов / В. И. Игошин. - М. : Просвещение, 1986. - 157 с. : ил. - 25 000 прим.
Рекомендовано Мин. образованияББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- задачи по математической логике
Примірників всього: 19
Аб. (19)
Свободны: Аб. (19)
Знайти схожі
|
11.
| 22.1
Н 73
Новиков, Петр Сергеевич.
Элементы математической логики [Текст] / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 30000 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- основания математики -- алгебра высказываний -- исчисление высказываний -- логика предиктов -- исчисление предиктов -- аксиоматическая арифметика -- элементы теории доказательства
Примірників всього: 5
Аб. (3), фмф (2)
Свободны: Аб. (3), фмф (2)
Знайти схожі
|
12.
| 22.1
Н 73
Новиков, Петр Сергеевич.
Элементы математической логики [Текст] / П. С. Новиков. - М. : Физматгиз, 1959. - 400 с. - 15000 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика
Примірників всього: 3
Аб. (3)
Свободны: Аб. (3)
Знайти схожі
|
13.
| 22.1
М 34
Матрос, Дмитрий Шаевич.
Теория алгоритмов : учебник для вузов по специальности 050202.65 (030100) "Информатика" / Д. Ш. Матрос, Г. Б. Поднебесова. - М. : БИНОМ. Лаборатория знаний, 2008. - 202 с. : ил. - (Педагогическое образование). - Библиогр.: с. 196 - 197. - 2 000 прим.. - ISBN 978-5-94774-226-8
Рекомендовано УМОББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
теория алгоритмов -- машина тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- машина с неограниченными регистрами -- вычислимость -- разрешимость -- сложность вычисления -- теория NP-полных задач
Дод.точки доступу:
Поднебесова, Галина Борисовна
Примірників всього: 25
Аб. (24), Ч.з.№1 (1)
Свободны: Аб. (24), Ч.з.№1 (1)
Знайти схожі
|
14.
| 22.1
И 26
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для физико-математических специальностей пед. институтов / В. И. Игошин. - Саратов : Саратовский гос. педагогический институт им. К. А. Федина, 2001. - 256 с. - 5 000 прим.. - ISBN 5-292-00259-3ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі
|
15.
| 22.1
А 45
Алгоритмы и алгоритмические языки [Текст]. Вып. 1 / гл. ред. С. С. Лавров. - Москва : Вычислительный центр академии наук СССР, 1967. - 61 с. - 6350 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
теория алгоритмов -- алгоритмические языки
Дод.точки доступу:
Лавров, С. С. \гл. ред.\
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі
|
16.
| 22.1
А 46
Александров, Павел Сергеевич.
Введение в теорию множеств и общую топологию : учебное пособие для студентов математических специальностей вузов / П. С. Александров. - М. : Наука, 1977. - 376 с. - 35 000 прим.. - ББК 22.12 я73 + 22.152 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ТОПОЛОГИЯ
Кл.слова (ненормовані):
теория множеств -- топология
Примірників всього: 15
Аб. (15)
Свободны: Аб. (15)
Знайти схожі
|
17.
| 22.1
В 44
Виленкин, Наум Яковлевич.
Рассказы о множествах / Н. Я. Виленкин. - 2-е изд., испр. и доп. - М. : Наука, 1969. - 158 с. - 100 000 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
теория множеств -- бесконечность
Вільних прим. немає
Знайти схожі
|
18.
| 22.1
Г 45
Гжегорчик, Анджей.
Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с польск. С. П. Беляев. - 2-е изд., испр. - Москва : Наука, 1972. - 111 с. - Библиогр.: с. 11 - 12. - 80000 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика
Дод.точки доступу:
Беляев, С. П. \пер. с польск.\
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі
|
19.
| 22.1
Г 47
Гильберт, Давид.
Основания математики [Текст] : теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; ред. С. И. Адян. - Москва : Наука, 1982. - 653 с. - (Математическая логика и основания математики). - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория доказательств
Дод.точки доступу:
Бернайс, П.; Нагорный, Н. М. \пер. с нем.\; Адян, Сергей Иванович \ред.\
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі
|
20.
| 22.1
Г 49
Гиндикин, Семен Григорьевич.
Алгебра логики в задачах / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с. : черт. - Библиогр.: с. 282 - 284 . - Предм. указ.: с. 285 - 288. - 50 000 прим.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- алгебраическая логика
Примірників всього: 2
Аб. (2)
Свободны: Аб. (2)
Знайти схожі
|
|
|
|
Каталог книг
Стандартний
Головна
Опис