База данных: Книги
Страница 1, Результатов: 18
Отмеченные записи: 0
1.
Подробнее
В12
Е 804
Ершов, Ю. Л.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург : Лань, 2006. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 1500 экз. - ISBN 5-8114-0533-2 (в пер.)
ББК В12
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Исчисление высказываний -- Теория множеств -- Алгебраические системы -- Исчисление предикатов -- Теория моделей -- Теория доказательств -- Алгоритмы -- Рекурсивные функции
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Е 804
Ершов, Ю. Л.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург : Лань, 2006. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 1500 экз. - ISBN 5-8114-0533-2 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Исчисление высказываний -- Теория множеств -- Алгебраические системы -- Исчисление предикатов -- Теория моделей -- Теория доказательств -- Алгоритмы -- Рекурсивные функции
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
2.
Подробнее
В12
К 493
Клини, С. К.
Математическая логика = Mathematical Logic : переводное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стереотип. - Москва : КомКнига, 2007. - 480 с. ; 21,5 см. - Библиогр.: с. 451-465; Авт. и предм. указ.: с. 470-4478. - ISBN 978-5-484-00802-5
ББК В12
Рубрики: Математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
К 493
Клини, С. К.
Математическая логика = Mathematical Logic : переводное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стереотип. - Москва : КомКнига, 2007. - 480 с. ; 21,5 см. - Библиогр.: с. 451-465; Авт. и предм. указ.: с. 470-4478. - ISBN 978-5-484-00802-5
| ГРНТИ |
Рубрики: Математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
3.
Подробнее
В12
К 608
Колмогоров, А. Н.
Математическая логика : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стереотип. - Москва : КомКнига, 2006. - 238 с. ; 22,5 см. - (Классический университетский учебник). - ISBN 5-484-00520-5 (в пер.)
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Доп.точки доступа:
Драгалин, А. Г.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
К 608
Колмогоров, А. Н.
Математическая логика : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стереотип. - Москва : КомКнига, 2006. - 238 с. ; 22,5 см. - (Классический университетский учебник). - ISBN 5-484-00520-5 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Доп.точки доступа:
Драгалин, А. Г.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
4.
Подробнее
В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)
5.
Подробнее
В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)
6.
Подробнее
В12
С 50
Смаллиан, Рэймонд М.
Как же называется эта книга? / Рэймонд М. Смаллиан ; [перевод с английского, предисловие: Ю. А. Данилова]. - Москва : Издательский дом Мещерякова, 2007. - 265, [3] с. : ил. ; 21 см. - (Научные развлечения). - 15000 экз. - ISBN 978-5-91045-012-1 (в пер.) : 86.68 р.
ББК В12 + Ю4я7
Рубрики: Математика занимательная--Сборники
Логика--Сборники
Доп.точки доступа:
Данилова, Ю. А. \пер., авт. предисл.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
С 50
Смаллиан, Рэймонд М.
Как же называется эта книга? / Рэймонд М. Смаллиан ; [перевод с английского, предисловие: Ю. А. Данилова]. - Москва : Издательский дом Мещерякова, 2007. - 265, [3] с. : ил. ; 21 см. - (Научные развлечения). - 15000 экз. - ISBN 978-5-91045-012-1 (в пер.) : 86.68 р.
| ГРНТИ |
Рубрики: Математика занимательная--Сборники
Логика--Сборники
Доп.точки доступа:
Данилова, Ю. А. \пер., авт. предисл.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
7.
Подробнее
В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)
8.
Подробнее
В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)
9.
Подробнее
В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)
10.
Подробнее
В12
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - Издание 4-е издание, обновленное. - Москва : Едиториал УРСС, 2013. - 236, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 227-228 (19 назв.). - Именной указатель: с. 229-230. - Предметный указатель: с. 231-237. - ISBN 978-5-354-01446-0 : 253.00 р., 462.00 р.
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - Издание 4-е издание, обновленное. - Москва : Едиториал УРСС, 2013. - 236, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 227-228 (19 назв.). - Именной указатель: с. 229-230. - Предметный указатель: с. 231-237. - ISBN 978-5-354-01446-0 : 253.00 р., 462.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
Страница 1, Результатов: 18