Поисковый запрос: <.>K=математическая логика<.> |
Общее количество найденных документов : 28
Показаны документы с 1 по 20 |
|
>1. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 Л 13
Лавров, И. А. Задачи по теории множеств математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - М. : Наука, 1975. - 240 с. - 0.90 р.ББК 22.1 Рубрики: математика Кл.слова (ненормированные): теория множеств -- математическая логика -- теория алгоритмов
Доп.точки доступа: Максимова, Л.Л.
Экземпляры всего: 10 Ч.з.1 (10) Свободны: Ч.з.1 (10) Найти похожие
|
>2. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 Г 19
Ганичева, Антонина Валериановна. Математика для психологов [Текст] : учеб. пособие для студ. вузов, обучающихся по направлению и спец. психологии / А. В. Ганичева, В. П. Козлов . - М. : Аспект Пресс, 2005. - 238, [1] с. - ISBN 5-7567-0362-4 : 114.40 р.ББК 22.1я73 Рубрики: Математика Кл.слова (ненормированные): множества -- математическая логика -- линейная алгебра -- теория графов -- математический анализ -- теория вероятностей -- математическая статистика -- учебное пособие для вузов
Доп.точки доступа: Козлов, Вячеслав Петрович
Экземпляры всего: 20 Аб.3 (20) Свободны: Аб.3 (20) Найти похожие
|
>3. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.122 Ч-43
Чень, Ч. Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - М. : Наука, 1983. - 360 с. - (Математическая логика и основания математики). - 2.20 р.ББК 22.122 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- теорема Эрбрана -- метод резолюций
Доп.точки доступа: Ли, Р.; Маслова, С.Ю. \ред.\
Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) Найти похожие
|
>4. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.12 Л 13
Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров. - 3-е изд. - М. : ФИЗМАТЛИТ, 1995. - 255 с. - ISBN 5-02-014844-Х : 30.75 р.ББК 22.12я73 Рубрики: математика Кл.слова (ненормированные): теория множеств -- математическая логика -- теория алгоритмов
Доп.точки доступа: Максимова, Л.Л.
Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) Найти похожие
|
>5. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 И 26
Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 978-5-7695-4593-1 : 384.20 р., 397.00 р.ББК 22.12я73 Рубрики: Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- исчисление высказываний -- программирование -- математическая логика -- учебное пособие для вузов
Экземпляры всего: 12 Аб.2 (9), Ч.з.1 (3) Свободны: Аб.2 (9), Ч.з.1 (3) Найти похожие
|
>6. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 74.262.21 М 54
Методика факультативных занятий в 7-8 классах. Избранные вопросы математики [Text] : пособие для учителей / сост.: И. Л. Никольская, В. В. Фирсов. - М. : Просвещение, 1981. - 160 с. - 0.25 р.ББК 74.262.21 Рубрики: Методика преподавания математики Кл.слова (ненормированные): факультатив -- вычислительные машины -- симметрия -- математическая логика -- бесконечные множества -- алгоритмы -- транспортные сети -- 7 класс -- 8 класс -- пособие для учителей
Доп.точки доступа: Никольская, И.Л. \сост.\; Фирсов, В.В. \сост.\
Экземпляры всего: 15 Ч.з.1 (15) Свободны: Ч.з.1 (15) Найти похожие
|
>7. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| Р2 Л 38
Левшин, Владимир Артурович. Новые рассказы рассеянного магистра [Текст] : математич. детектив : [для мл. шк. возраста] / В. А. Левшин. - М. : Моск. клуб, 1994. - 174 с. : ил. - ISBN 5-7642-0024-5 : 3250.00 р.ББК Р2 Рубрики: Детская литература Кл.слова (ненормированные): математическая логика -- задания на наблюдательность -- учебное пособие
Экземпляры всего: 1 Аб.1 (1) Свободны: Аб.1 (1) Найти похожие
|
>8. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 А 13
Абдрашитов, Б. М. Учитесь мыслить нестандартно [Text] : кн. для учащихся / Б. М. Абдрашитов, Т. М. Абдрашитов, В. Н. Шлихунов. - М. : Просвещение : Учеб. лит., 1996. - 126 с. : ил. - ISBN 5-09-006569-1 : 5.40 р.ББК 22.1я72 Рубрики: математика Кл.слова (ненормированные): логическое мышление -- математическая логика -- занимательные задачи -- головоломки -- книга для учащихся
Доп.точки доступа: Абдрашитов, Т.М.; Шлихунов, В.Н.
Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) Найти похожие
|
>9. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 74.262.21 К 17
Калужнин, Л. А. Элементы теории множеств и математической логики в школьном курсе математики [Text] : пособие для учителей / Л. А. Калужнин. - М. : Просвещение, 1978. - 87 с. - 0.15 р.ББК 74.262.21 Рубрики: Методика преподавания математики Кл.слова (ненормированные): математическая логика -- теория множеств -- алгебра множеств -- предикаты -- кванторы -- высказывательные формы -- пособие для учителей
Экземпляры всего: 10 Аб.2 (6), Ч.з.1 (4) Свободны: Аб.2 (6), Ч.з.1 (4) Найти похожие
|
>10. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 С 81
Стойлова, Любовь Петровна. Математика [Текст] : учебник для студ. вузов / Л. П. Стойлова. - М. : Академия, 2007. - 431, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 978-5-7695-2758-6 : 462.00 р.ББК 22.1я73-1 Рубрики: Математика Кл.слова (ненормированные): математическая логика -- отношения -- операции -- натуральные числа -- геометрические фигуры -- учебник для вузов
Экземпляры всего: 12 Аб.3 (12) Свободны: Аб.3 (12) Найти похожие
|
>11. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 М 34
Математическая логика и теория алгоритмов [Текст] / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 174, [2] с. - (Труды института математики, т. 2). - 1.60 р.ББК 22.122 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- теория алгоритмов
Доп.точки доступа: Соболев, С.Л. \отв. ред.\
Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) Найти похожие
|
>12. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 О-75
Основы кибернетики. Математические основы кибернетики [Текст] : учеб. пособие для втузов / под ред. К. А. Пупкова. - М. : Высш. шк., 1974. - 415, [1] с. - 0.88 р.ББК 22.1 Рубрики: Математика Кл.слова (ненормированные): теория множеств -- теория графов -- математическая логика -- теория алгоритмов -- дифференциальные уравнения -- линейное программирование -- нелинейное программирование -- математическая статистика -- комбинаторный анализ -- учебное пособие для втузов
Доп.точки доступа: Пупкова, К.А. \под ред.\
Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) Найти похожие
|
>13. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 П 30
Петров, Ю. А. Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий [Текст] / Ю. А. Петров. - М. : Изд-во Моск. ун-та, 1974. - 191, [1] с. - 0.92 р.ББК 22.1 Рубрики: Математика Кл.слова (ненормированные): математическая логика -- математическая логика
Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) Найти похожие
|
>14. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 Е 80
Ершов, Андрей Петрович. Введение в теоретическое программирование. Беседы о методе [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. "Прикладная математика" / А. П. Ершов. - М. : Наука, 1977. - 288 с. - 0.80 р.ББК 22.1 Рубрики: Программирование Кл.слова (ненормированные): программирование -- алгоритмизация -- информационный граф -- граф несовместимости -- реализация -- структурированное программирование -- математическая логика -- алгебра логики -- исчисление высказываний -- учебное пособие для вузов
Экземпляры всего: 3 Ч.з.1 (3) Свободны: Ч.з.1 (3) Найти похожие
|
>15. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.122 К 60
Колмогоров, Андрей Николаевич. Введение в математическую логику [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1982. - 118, [2] с. - 0.25 р.ББК 22.122 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- теория множеств -- логико-математические языки -- логические законы -- учебное пособие для вузов
Доп.точки доступа: Драгалин, А.Г.
Экземпляры всего: 4 Ч.з.1 (4) Свободны: Ч.з.1 (4) Найти похожие
|
>16. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 М 21
Мальцев, Анатолий Иванович Избранные труды [Текст] / А. И. Мальцев ; [ред. М. А. Лаврентьев] ; АН СССР, Отд-ние математики; Сибирское отд-ние; Ин-т математики. - М. : Наука, 1976. Т. 2 : Математическая логика и общая теория алгебраических систем. - 386, [2] с. - ). - 2.42 р.ББК 22.1 Рубрики: Математика Кл.слова (ненормированные): математическая логика -- алгебраические системы -- производные операции -- классы моделей -- модельные соответствия -- конструктивные алгебры
Доп.точки доступа: Лаврентьев, М.А. \ред.\; АН СССР. Отд-ние математики; Сибирское отд-ние; Ин-т математики
Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) Найти похожие
|
>17. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 74.58 М 34
Матросов В.Л. Избранные статьи и доклады [Text] / Матросов В.Л. - М. : Магистр, 1996. - 252 с. - 5.00 р.ББК 74.584(2)738.1 + 22.127 Рубрики: Высшая школа Кл.слова (ненормированные): университетское образование -- Московский педагогический государственный университет -- МПГУ -- педагогическое образование -- математическая логика -- теория алгоритмов -- научная -- сборник научных трудов
Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) Найти похожие
|
>18. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.12 И 26
Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р.ББК 22.12я73 Рубрики: Высшая математика Кл.слова (ненормированные): математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов
Экземпляры всего: 84 Ч.з.1 (5), Аб.2 (59), Аб.3 (20) Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20) Найти похожие
|
>19. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.17 Л 43
Лекции по дискретной математике [Текст] / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - ISBN 5-94157-546-7 : 179.00 р.ББК 22.174я73 + 32.973.26-018.2я73 Рубрики: Дискретная математика Кл.слова (ненормированные): дискретная математика -- алгебра -- множества -- комбинаторика -- теория алгоритмов -- математическая логика -- теория графов -- теория автоматов -- информационные технологии -- компьютерные технологии -- аксиоматический метод -- учебник для вузов
Доп.точки доступа: Капитонова, Ю.В.; Кривой, С.Л.; Летичевский, А.А.; Луцкий, Г.М.
Экземпляры всего: 16 Ч.з.1 (5), Аб.2 (11) Свободны: Ч.з.1 (5), Аб.2 (11) Найти похожие
|
>20. ![](https://bgpu.ru/irbis/irbis64r_14/images/printer.jpg)
| 22.1 Ж 79
Жолков, С. Ю. Математика и информатика для гуманитариев [Текст] : учебник для студ. гуманит. спец. вузов / С.Ю. Жолков. - М. : Гардарики, 2002. - 531, [5] с. : ил. - ISBN 5-8297-0089-1 : 82.50 р.ББК 22.1я73 + 32.973я73 Рубрики: Математика--информатика Кл.слова (ненормированные): дискретная математика -- математическая логика -- алгоритмы -- компьютерные системы -- искусственный интеллект -- учебник для вузов
Экземпляры всего: 26 Ч.з.1 (5), Аб.2 (21) Свободны: Ч.з.1 (5), Аб.2 (21) Найти похожие
|
|
|