База данных: Книги
Страница 1, Результатов: 7
Отмеченные записи: 0
1.
Подробнее
Ю4
Н 512
Ненашев, М. И.
Введение в логику : учеб. пособие / М. И. Ненашев. - Москва : Гардарики, 2004. - 352 с. - 5000 экз. - ISBN 5-8297-0173-1
ББК Ю4я7
Рубрики: Логика--Учебные издания
Кл.слова (ненормированные):
Логика высказываний -- Операции с понятиями -- Суждение -- Дедуктивные умозаключения -- Доказательство и опровержение -- Логика предикатов -- Неклассические логики
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
Н 512
Ненашев, М. И.
Введение в логику : учеб. пособие / М. И. Ненашев. - Москва : Гардарики, 2004. - 352 с. - 5000 экз. - ISBN 5-8297-0173-1
| ГРНТИ |
Рубрики: Логика--Учебные издания
Кл.слова (ненормированные):
Логика высказываний -- Операции с понятиями -- Суждение -- Дедуктивные умозаключения -- Доказательство и опровержение -- Логика предикатов -- Неклассические логики
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
2.
Подробнее
В12
М 824
Москинова, Галина Ивановна.
Дискретная математика : математика для менеджера в примерах и упражнениях: учеб. пособие / Г. И. Москинова. - Москва : Логос, 2007. - 238 с. : ил. ; 22 см. - (Новая студенческая библиотека). - Библиогр.: с. 236 (3 назв.). -Предм. указ.: с. 227-235. - 2000 экз. - ISBN 978-5-98704-234-8 : 194.00 р.
На 4-й с. обл. авт.: Г.И. Москинова - проф.
ББК В126я73 +
В174.2я73
Рубрики: Дискретная математика--Учебные издания для высших учебных заведений
Теория графов--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
множества -- отношения -- соответствия -- математическая логика -- логика высказываний -- логика предикатов -- теория графов
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
М 824
Москинова, Галина Ивановна.
Дискретная математика : математика для менеджера в примерах и упражнениях: учеб. пособие / Г. И. Москинова. - Москва : Логос, 2007. - 238 с. : ил. ; 22 см. - (Новая студенческая библиотека). - Библиогр.: с. 236 (3 назв.). -Предм. указ.: с. 227-235. - 2000 экз. - ISBN 978-5-98704-234-8 : 194.00 р.
На 4-й с. обл. авт.: Г.И. Москинова - проф.
| ГРНТИ |
Рубрики: Дискретная математика--Учебные издания для высших учебных заведений
Теория графов--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
множества -- отношения -- соответствия -- математическая логика -- логика высказываний -- логика предикатов -- теория графов
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
3.
Подробнее
Ю4
П 58
Попов, Юрий Петрович.
Логика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки 520400 (030100)-философия и специальности 020100 (030101)-философия / Ю. П. Попов. - 3-е издание, переработанное и дополненное. - Москва : КноРус, 2009. - 293, [2] с. ; 21 см. - Библиография в конце книги. - 3000 экз. - ISBN 978-5-390-00251-3 (в пер.) : 135.00 р.
ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
традиционная логика -- суждения -- законы логики -- умозаключения -- доказательство -- символическая логика -- логика высказываний -- логика предикатов
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
П 58
Попов, Юрий Петрович.
Логика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки 520400 (030100)-философия и специальности 020100 (030101)-философия / Ю. П. Попов. - 3-е издание, переработанное и дополненное. - Москва : КноРус, 2009. - 293, [2] с. ; 21 см. - Библиография в конце книги. - 3000 экз. - ISBN 978-5-390-00251-3 (в пер.) : 135.00 р.
| ГРНТИ |
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
традиционная логика -- суждения -- законы логики -- умозаключения -- доказательство -- символическая логика -- логика высказываний -- логика предикатов
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
4.
Подробнее
В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)
5.
Подробнее
Ю4
П 58
Попов, Юрий Петрович.
Логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки и специальности "Философия" / Ю. П. Попов. - 3-е издание, переработанное и дополненное. - Москва : КНОРУС, 2016. - 293, [2] с. ; 21 см. - Библиография в конце книги. - ISBN 978-5-406-05211-2 : 860.00 р.
ББК Ю4я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
традиционная логика -- суждения -- законы логики -- умозаключения -- доказательство -- символическая логика -- логика высказываний -- логика предикатов
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
П 58
Попов, Юрий Петрович.
Логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки и специальности "Философия" / Ю. П. Попов. - 3-е издание, переработанное и дополненное. - Москва : КНОРУС, 2016. - 293, [2] с. ; 21 см. - Библиография в конце книги. - ISBN 978-5-406-05211-2 : 860.00 р.
| ГРНТИ |
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
традиционная логика -- суждения -- законы логики -- умозаключения -- доказательство -- символическая логика -- логика высказываний -- логика предикатов
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
6.
Подробнее
В174
А 188
Авдошин, Сергей Михайлович.
Дискретная математика. Формально-логические системы и языки / С. М. Авдошин, А. А. Набебин. - Москва : ДМК Пресс, 2018. - 389 с. : ил. ; 22 см. - Библиография: с. 383-385. - 200 экз. - ISBN 978-5-97060-622-3 : 1032.68 р.
ББК В174
Рубрики: Математика дискретная
Дискретная математика
Кл.слова (ненормированные):
математика дискретная -- дискретная математика -- алгебра логики -- функции алгебры логики -- аксиоматичексие исчисление высказываний -- логика предикатов -- аксиоматическое исчисление предикатов -- исчисление секвенций -- монадическая логика -- монадическая логика натуральных чисел -- темпоральная логика
Доп.точки доступа:
Набебин, Алексей Александрович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
А 188
Авдошин, Сергей Михайлович.
Дискретная математика. Формально-логические системы и языки / С. М. Авдошин, А. А. Набебин. - Москва : ДМК Пресс, 2018. - 389 с. : ил. ; 22 см. - Библиография: с. 383-385. - 200 экз. - ISBN 978-5-97060-622-3 : 1032.68 р.
| ГРНТИ |
Рубрики: Математика дискретная
Дискретная математика
Кл.слова (ненормированные):
математика дискретная -- дискретная математика -- алгебра логики -- функции алгебры логики -- аксиоматичексие исчисление высказываний -- логика предикатов -- аксиоматическое исчисление предикатов -- исчисление секвенций -- монадическая логика -- монадическая логика натуральных чисел -- темпоральная логика
Доп.точки доступа:
Набебин, Алексей Александрович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
7.
Подробнее
В12
В 71
Вольвачев, Раймонд Трофимович.
Элементы математической логики и теории множеств : [учебное пособие для студентов математических специальностей вузов] / Р. Т. Вольвачев. - Минск : Университетское, 1986. - 111, [1] с. : ил. ; 20 см. - Библиография в подстрочных примечаниях и с. 110. - 3730 экз. - 00.30 р.
ББК В126
Кл.слова (ненормированные):
математическая логика -- логика математическая -- множеств теория -- логика высказываний -- бинарные отношения -- мощность множества -- логика предикатов -- теория множеств
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
В 71
Вольвачев, Раймонд Трофимович.
Элементы математической логики и теории множеств : [учебное пособие для студентов математических специальностей вузов] / Р. Т. Вольвачев. - Минск : Университетское, 1986. - 111, [1] с. : ил. ; 20 см. - Библиография в подстрочных примечаниях и с. 110. - 3730 экз. - 00.30 р.
Кл.слова (ненормированные):
математическая логика -- логика математическая -- множеств теория -- логика высказываний -- бинарные отношения -- мощность множества -- логика предикатов -- теория множеств
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Страница 1, Результатов: 7