Е 80 Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2- изд., испр. и доп. - М. : Наука, 1987. - 336 с. - 0.40 р. Рубрики: Математическая логика Кл.слова (ненормированные): учебное пособие для вузов -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 7 Аб.2 (2), Ч.з.1 (5) Свободны: Аб.2 (2), Ч.з.1 (5) |
Е 80 Ершов, Ю. Л. Математическая логика [Text] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. [и др.] : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 169.50 р. Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- алгебраические системы -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- математическая логика -- учебное пособие Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 4 Ч.з.1 (4) Свободны: Ч.з.1 (4) |
Е 80 Ершов, Ю. Л. Математическая логика [Text] : учеб. пособие / Ю.Л. Ершов, Е.А. Палютин. - 4-е изд., стер. - СПб. [и др.] : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 191.90 р. Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- алгебраические системы -- теория доказательств -- алгоритмы -- рекурсивные функции Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 16 Аб.2 (16) Свободны: Аб.2 (16) |
Б 52 Берчанский, В. П. Элементы комбинаторики и математической логики [Текст] : учеб. пособие для студ. пед. ин-тов / В. П. Берчанский. - Благовещенск : БГПИ, 1973. - 144 с. - 0.45 р. Рубрики: Математическая логика Кл.слова (ненормированные): комбинаторика Экземпляры всего: 5 Ч.з.4 (1), Ч.з.1 (4) Свободны: Ч.з.4 (1), Ч.з.1 (4) |
Б 59 Бизам, Д. Многоцветная логика. 175 логических задач [Текст] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - М. : Мир, 1978. - 433, [7] с. - 1.50 р. Рубрики: Математическая логика Кл.слова (ненормированные): логика -- задачи -- решения Доп.точки доступа: Герцег, Я.; Данилов, Ю.А. \пер. с венг.\ Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Д 30 Деменчук, В. В. На пороге алгебры [Текст] / В. В. Деменчук. - Минск : Вышэйш. шк., 1987. - 144 с. - (Мир занимательной науки). - 0.25 р. Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- алгебра Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255, [1] с. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 : 3.00 р. Рубрики: Математическая логика Кл.слова (ненормированные): учебное пособие для вузов -- алгебра высказываний -- булевы функции -- логика предикатов -- аксиоматические теории -- теория алгоритмов Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
И 26 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2005. - 302, [1] с. - ISBN 5-7695-1364-0 : 204.20 р. Рубрики: Математическая логика Кл.слова (ненормированные): задачи -- упражнения -- учебное пособие -- математическая логика -- теория алгоритмов Экземпляры всего: 43 Ч.з.1 (5), Аб.2 (38) Свободны: Ч.з.1 (5), Аб.2 (38) |
К 90 Куликов, А. Н. Развивающие игры и головоломки [Текст] / А. Н. Куликов. - М. : ЮНИК инк : Лада, 2006. - 253, [1] с. : ил. - (Талантливому педагогу - заботливому родителю). - ISBN 5-94832-195-9 : 35.60 р. Рубрики: Математическая логика Кл.слова (ненормированные): логические задачи -- логические игры -- головоломки -- для школьников Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Л 59 Линдон, Р. Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; под ред. И. М. Яглома. - М. : Мир, 1968. - 127, [1] с. - (Современная математика. Популярная серия.). - 0.41 р. Рубрики: Математическая логика Кл.слова (ненормированные): грамматика -- термы -- семантическое следование -- пропозициональная логика -- алгебра высказываний -- дизъюнктивная форма -- булева алгебра -- пропозициональная логика -- разрешимость теории -- оправданность аксиоматизации -- теорема дедукции -- категоричность -- другая формулировка -- теорема адекватности -- теорема Крэйга -- гёделевы номера Доп.точки доступа: Гастева, Ю. А. \пер. с англ.\; Яглома, И.М. \под ред.\ Экземпляры всего: 2 Ч.з.1 (1), Аб.2 (1) Свободны: Ч.з.1 (1), Аб.2 (1) |
М 34 Математическая логика [Текст] : учеб. пособие для студ. мат. спец. пед. ин-тов / [Л.А. Латотин [и др.]]; под общ. ред. А.А. Столяра. - Минск : Вышэйш. шк., 1991. - 269, [1] с. - ISBN 5-339-00342-6 : 2.30 р. Рубрики: Математическая логика Кл.слова (ненормированные): логика высказываний -- логика предикатов -- математические теории -- алгоритмы Доп.точки доступа: Латотин, Л.А.; Макаренков, Ю.А.; Николаева, В.В.; Столяр, А.А.; Столяра, А.А. \под общ. ред.\ Экземпляры всего: 10 Ч.з.1 (5), Аб.2 (5) Свободны: Ч.з.1 (5), Аб.2 (5) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 978-5-7695-4593-1 : 384.20 р., 397.00 р. Рубрики: Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- исчисление высказываний -- программирование -- математическая логика -- учебное пособие для вузов Экземпляры всего: 12 Аб.2 (9), Ч.з.1 (3) Свободны: Аб.2 (9), Ч.з.1 (3) |