Д72 Драбкина, М. Е. Логические упражнения по элементарной математике [Текст] : Учеб. пособие для матем. фак. пед. вузов / М. Е. Драбкина. - Минск : Высшая школа, 1965. - 160 с. - 0.28 р.
Кл.слова (ненормированные): Математика -- математическая логика -- задачи -- алгебра логики -- алгебраическая логика -- логика предикатов -- символы Экземпляры всего: 3 2к (3) Свободны: 2к (3) |
И26 Игошин, В. И. Математическая логика и теория алгоритмов: Учеб. пособие для физико-математических специальностей пед. ин-тов [Текст] / В. И. Игошин. - Саратов : Изд-во Саратов. ун-та, 1991. - 256 с. - 3.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- формулы -- кванторные операции -- аксиоматические теории -- теория алгоритмов -- машины Тьюринга -- алгоритмы -- учебное пособие для вузов Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
М38 Машины Тьюринга и рекурсивные функции [Текст] / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман и др.; Пер. нем. Э.Г. Белаги. - М. : Мир, 1972. - 264 с. - (Современная математика). - 0.89 р.
Кл.слова (ненормированные): Математика -- машина Тьюринга -- рекурсивные функции -- вычислимые функции -- алгоритмы -- логика предикатов -- решение задач Доп.точки доступа: Эббинхауз, Г.-Д. Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
И26 Игошин, В. И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. вузов, обуч. по спец. 050201 "Математика" [Текст] / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование). - 400.00 р., 320.10 р., 221.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- формулы -- кванторные операции -- аксиоматические теории Экземпляры всего: 8 2к (8) Свободны: 2к (8) |
К60 Колмогоров, А. Н. Математическая логика: Учеб. пособие для студ. математ. спец. вузов [Текст] / А.Н. Колмогоров, А.Г. Драгалин; МГУ им. М.В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - 195.00 р., 194.00 р.
Кл.слова (ненормированные): Математика -- формальные аксиоматические теории -- логические законы -- семантика языка -- булевы алгебры -- теория множеств -- математическая логика -- теорема Геделя -- логика высказываний -- логика предикатов -- основания математики -- теория доказательств -- теория алгорифмов -- предикаты -- дедукция Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |
И26 Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов: Учеб. пособие для студ. вузов, обуч. по спец. 032100 "Математика" [Текст] / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование). - 295.00 р.
Кл.слова (ненормированные): Математика -- учебное пособие для вузов -- алгоритмы -- машины Тьюринга -- теория алгоритмов -- аксиоматические теории -- кванторные операции -- формулы -- логика предикатов -- исчисление высказываний Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
С24 Светлов, В. А. Современная логика: Учеб. пособие для студ. вузов, обуч. по спец. 540400 (050400) "Соц.-эконом. образование" [Текст] / В. А. Светлов. - СПб. : Питер, 2006. - 400 с. : ил. - (Учебное пособие). - 167.00 р. Изд. программа 300 лучш. учебников для высш. шк. в честь 300-летия Санк-Петербурга
Кл.слова (ненормированные): Науковедение -- учебное пособие для пед. вузов -- логика -- Философия -- классическая логика -- традиционализм -- суждение -- понятие -- умозаключения -- дедуктивная логика -- доказательство -- опровержение -- риторика -- логика высказываний -- логика предикатов -- индуктивная логика -- модальная логика -- парадокс Экземпляры всего: 1 1к (1) Свободны: 1к (1) |
Л65 Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник - практикум и решения: Учеб. пособие [Текст] / Л. М. Лихтарников. - 3-е изд., испр. - СПб. : ЛАНЬ, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 350.00 р., 460.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- лекции -- задачник -- практикумы -- учебное пособие для вузов -- алгебра логики -- исчисление высказываний -- математические теории -- алгоритмы -- логика предикатов -- предикаты -- алгебра Буля Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |
П71 Представление и использование знаний [Текст] / Под ред. Х. Уэно, М. Исидзука; пер. с япон. И.А. Иванова; под ред. Н.Г. Волкова. - М. : Мир, 1989. - 220 с. : ил. - 30.00 р.
Кл.слова (ненормированные): Науковедение -- инженерная кибернетика -- нечеткие знания -- фреймы -- семантические сети -- логика предикатов -- искусственный интеллект -- знание Доп.точки доступа: Уэно, Х. \ред.\; Исидзука, М. \ред.\ Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К 61 Колобов, А. Н. Математическая логика [Текст] : учебное пособие / А. Н. Колобов ; Министерство просвещения Российской Федерации, ФГБОУ ВО "Оренбургский государственный педагогический университет". - Оренбург : Экспресс-печать, 2021. - 64 с. - Б. ц.
Кл.слова (ненормированные): МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- УЧЕБНАЯ ЛИТЕРАТУРА ПРЕПОДАВАТЕЛЕЙ ОГПУ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- РАЗРЕШИМОСТЬ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМЫ Аннотация: Пособие содержит темы, входящие в рабочую программу курса «Математическая логика». Книга предназначена для студентов очной и заочной форм обучения, обучающихся по направлению подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки), профили Математика и Физика, Математика и Информатика. Экземпляры всего: 10 2к (10) Свободны: 2к (10) |