Пошуковий запит: <.>R=27.03$<.> |
Загальна кількість знайдених документів : 60
Показані документи с 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) Знайти схожі
|
|
|