База данных: Книги
Страница 2, Результатов: 28
Отмеченные записи: 0
11.
Подробнее
В12 офсетная печать
У 774
Успенский, Владимир Андреевич.
Вводный курс математической логики : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : Физматлит, 2007 [т.е. 2006]. - 125 с. : ил. ; 22 см. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - 2000 экз. - ISBN 978-5-9221-0278-0 : 191.16 р.
На обл. авт. не указаны
ББК В12
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
теория множеств -- логика высказываний -- теория доказательств -- алгоритмы
Доп.точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Легостаева, И. Л. \ред.\
Экземпляры всего: 2
КХ (1), ОЧЗ (1)
Свободны: КХ (1), ОЧЗ (1)
У 774
Успенский, Владимир Андреевич.
Вводный курс математической логики : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : Физматлит, 2007 [т.е. 2006]. - 125 с. : ил. ; 22 см. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - 2000 экз. - ISBN 978-5-9221-0278-0 : 191.16 р.
На обл. авт. не указаны
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
теория множеств -- логика высказываний -- теория доказательств -- алгоритмы
Доп.точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Легостаева, И. Л. \ред.\
Экземпляры всего: 2
КХ (1), ОЧЗ (1)
Свободны: КХ (1), ОЧЗ (1)
12.
Подробнее
В12
Л 656
Лихтарников, Леонид Моисеевич (1924-2007).
Математическая логика : курс лекций : задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Издание 4-е, исправленное. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2009. - 276 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиография: с. 273. - 2000 экз. - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р.
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Алгебра логики -- Исчисление высказываний -- Алгоритмы
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Л 656
Лихтарников, Леонид Моисеевич (1924-2007).
Математическая логика : курс лекций : задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Издание 4-е, исправленное. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2009. - 276 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиография: с. 273. - 2000 экз. - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Алгебра логики -- Исчисление высказываний -- Алгоритмы
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
13.
Подробнее
В12
Ч-508
Черч, Алонзо
Введение в математическую логику / А. Черч ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. В. А. Успенского. - 2-е изд. - Москва : ЛИБРОКОМ, 2009 - . - (Физико-математическое наследие: математика (основания математики и логика)).
Т. 1. - 2009. - 480 с. ; 22 см. - Предм. указ.: с. 461-477. - Имен. указ.: с. 478-480. - ISBN 978-5-397-00468-8 : 297.00 р.
ББК В12
Рубрики: Математическая логика--Научные издания
Кл.слова (ненормированные):
Математическая логика
Доп.точки доступа:
Успенский, В. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
Ч-508
Черч, Алонзо
Введение в математическую логику / А. Черч ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. В. А. Успенского. - 2-е изд. - Москва : ЛИБРОКОМ, 2009 - . - (Физико-математическое наследие: математика (основания математики и логика)).
Т. 1. - 2009. - 480 с. ; 22 см. - Предм. указ.: с. 461-477. - Имен. указ.: с. 478-480. - ISBN 978-5-397-00468-8 : 297.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Научные издания
Кл.слова (ненормированные):
Математическая логика
Доп.точки доступа:
Успенский, В. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
14.
Подробнее
В12
Г 866
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил. ; 22 см. - Библиогр.: с. 205-206. - 3000 экз. - ISBN 978-5-406-00120-2 (в пер.) : 155.22 р.
ББК В127я73-1
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Г 866
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил. ; 22 см. - Библиогр.: с. 205-206. - 3000 экз. - ISBN 978-5-406-00120-2 (в пер.) : 155.22 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
15.
Подробнее
В12
Х 133
Хаггард, Гэри.
Дискретная математика для программистов : [учеб. пособие] / Гэри Хаггард, Джон Шлипф, Сью Уайтсайдс ; пер. с англ. Н. А. Шиховой ; под ред. А. А. Сапоженко. - Москва : БИНОМ. Лаборатория знаний, 2010. - 628 с. : ил. ; 25 см + 1 эл. опт. диск (CD-ROM). - Предм. указ.: с. 620-627. - 2000 экз. - ISBN 978-5-94774-348-7 (в пер.) : 337.48 р.
Загл. и авт. ориг.: Discrete mathematics for computer science / Gary Haggard, John Schlipf, Sue Whitesides
ББК В12я73 + В176я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная вероятность -- формальная логика -- алгоритмы -- множества -- рекуррентные соотношения -- рекурсивные функции -- теория графов
Аннотация: Методически продуманное учебное пособие по дискретной математике, охватывающее такие темы, как множества, математическая индукция, математическая логика, отношения, функции, анализ алгоритмов, теория графов, комбинаторика, теория вероятностей, рекуррентные соотношения. Многочисленные упражнения позволяют закрепить пройденный материал. Все упражнения с решениями представлены на прилагаемом к пособию диске. Для преподавателей и студентов вузов, готовящих математиков-программистов, специалистов по информатике и информационно-коммуникационным технологиям, а также для старшеклассников школ с углубленным изучением математики и информатики.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Шлипф, Джон
Уайтсайдс, Сью
Шихова, Н. А. \пер.\
Сапоженко, А. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
Х 133
Хаггард, Гэри.
Дискретная математика для программистов : [учеб. пособие] / Гэри Хаггард, Джон Шлипф, Сью Уайтсайдс ; пер. с англ. Н. А. Шиховой ; под ред. А. А. Сапоженко. - Москва : БИНОМ. Лаборатория знаний, 2010. - 628 с. : ил. ; 25 см + 1 эл. опт. диск (CD-ROM). - Предм. указ.: с. 620-627. - 2000 экз. - ISBN 978-5-94774-348-7 (в пер.) : 337.48 р.
Загл. и авт. ориг.: Discrete mathematics for computer science / Gary Haggard, John Schlipf, Sue Whitesides
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная вероятность -- формальная логика -- алгоритмы -- множества -- рекуррентные соотношения -- рекурсивные функции -- теория графов
Аннотация: Методически продуманное учебное пособие по дискретной математике, охватывающее такие темы, как множества, математическая индукция, математическая логика, отношения, функции, анализ алгоритмов, теория графов, комбинаторика, теория вероятностей, рекуррентные соотношения. Многочисленные упражнения позволяют закрепить пройденный материал. Все упражнения с решениями представлены на прилагаемом к пособию диске. Для преподавателей и студентов вузов, готовящих математиков-программистов, специалистов по информатике и информационно-коммуникационным технологиям, а также для старшеклассников школ с углубленным изучением математики и информатики.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Шлипф, Джон
Уайтсайдс, Сью
Шихова, Н. А. \пер.\
Сапоженко, А. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
16.
Подробнее
В12
Г 977
Гуц, Александр Константинович.
Математическая логика и теория алгоритмов : [учебное пособие] / А. К. Гуц. - 2-е изд., доп. - Москва : Либроком, 2009. - 117 с. : ил. ; 22 см. - Библиогр.: с. 114-117 (59 назв.). - ISBN 978-5-397-00056-7 : 124.08 р.
ББК В127я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгориты
Держатели документа:
ГПНТБ России
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
Г 977
Гуц, Александр Константинович.
Математическая логика и теория алгоритмов : [учебное пособие] / А. К. Гуц. - 2-е изд., доп. - Москва : Либроком, 2009. - 117 с. : ил. ; 22 см. - Библиогр.: с. 114-117 (59 назв.). - ISBN 978-5-397-00056-7 : 124.08 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгориты
Держатели документа:
ГПНТБ России
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
17.
Подробнее
В12
Г 935
Гудстейн, Рейбен Луис (1912-1985).
Математическая логика / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - Изд. 2-е. - Москва : Либроком, 2010. - 161 с. : табл. ; 22 см. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр.: с. 142-148. - ISBN 978-5-397-00528-9 : 124.08 р.
ББК В12
Рубрики: Математическая логика--Научные издания
Кл.слова (ненормированные):
Математическая логика
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Чернявский, В. С. \пер.\
Яновская, С. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
Г 935
Гудстейн, Рейбен Луис (1912-1985).
Математическая логика / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - Изд. 2-е. - Москва : Либроком, 2010. - 161 с. : табл. ; 22 см. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр.: с. 142-148. - ISBN 978-5-397-00528-9 : 124.08 р.
| ГРНТИ |
Рубрики: Математическая логика--Научные издания
Кл.слова (ненормированные):
Математическая логика
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Чернявский, В. С. \пер.\
Яновская, С. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
18.
Подробнее
В12
И 268
Игошин, Владимир Иванович (1948-).
Математическая логика и теория алгоритмов : учеб. пособие для студентов высших учебных заведений, обучающихся по специальности 050201 "Математика" / В. И. Игошин. - 4-е изд., стер. - Москва : Академия, 2010. - 448 с. : ил. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности) (Учебное пособие). - Библиогр.: с. 435-442 и в подстроч. примеч. - 1000 экз. - ISBN 978-5-7695-7045-2 (в пер.) : 405.98 р.
ББК В127я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Держатели документа:
ГПНТБ России
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
И 268
Игошин, Владимир Иванович (1948-).
Математическая логика и теория алгоритмов : учеб. пособие для студентов высших учебных заведений, обучающихся по специальности 050201 "Математика" / В. И. Игошин. - 4-е изд., стер. - Москва : Академия, 2010. - 448 с. : ил. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности) (Учебное пособие). - Библиогр.: с. 435-442 и в подстроч. примеч. - 1000 экз. - ISBN 978-5-7695-7045-2 (в пер.) : 405.98 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Держатели документа:
ГПНТБ России
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
19.
Подробнее
В12
И 269
Игошин, Владимир Иванович.
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2012. - 399 с. : табл. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - 1000 экз. - ISBN 978-5-16-005204-5 (в пер.) : 260.91 р.
Фактическая дата выхода в свет : 2011
ББК В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
И 269
Игошин, Владимир Иванович.
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2012. - 399 с. : табл. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - 1000 экз. - ISBN 978-5-16-005204-5 (в пер.) : 260.91 р.
Фактическая дата выхода в свет : 2011
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
20.
Подробнее
В1
Б 854
Босс, В.
Лекции по математике / В. Босс. - Москва : URSS.
Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - Изд. 3-е, испр. и доп. - 2013. - 207 с. : ил. ; 22 см. - Библиогр.: с. 202-203 (28 назв.). - Предм. указ.: с. 204-207. - ISBN 978-5-397-03412-8 : 237.00 р.
ББК В1 + В192
Рубрики: Математическая логика
Вычислительная математика
Кл.слова (ненормированные):
математическая логика -- вычислительная математика -- алгоритмы (матем.) -- теоремы Геделя -- универсальные функции -- нумерации (матем.) -- доказуемость (матем.) -- математическая логика -- Диофантов язык -- десятая проблема Гильберта -- конструктивная математика -- аксиоматические теории -- теория моделей -- степени неразрешимости
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Б 854
Босс, В.
Лекции по математике / В. Босс. - Москва : URSS.
Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - Изд. 3-е, испр. и доп. - 2013. - 207 с. : ил. ; 22 см. - Библиогр.: с. 202-203 (28 назв.). - Предм. указ.: с. 204-207. - ISBN 978-5-397-03412-8 : 237.00 р.
| ГРНТИ |
Рубрики: Математическая логика
Вычислительная математика
Кл.слова (ненормированные):
математическая логика -- вычислительная математика -- алгоритмы (матем.) -- теоремы Геделя -- универсальные функции -- нумерации (матем.) -- доказуемость (матем.) -- математическая логика -- Диофантов язык -- десятая проблема Гильберта -- конструктивная математика -- аксиоматические теории -- теория моделей -- степени неразрешимости
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Страница 2, Результатов: 28