Электронный каталог. . Муниципальная Информационно-Библиотечная Система г. Новокузнецка

   87.4
   С 24

    Светлов, Виктор Александрович.
    Практическая логика : учебное пособие / В. А. Светлов. - 2-е изд., испр. и доп. - Санкт-Петербург : МиМ, 1997. - 575 с. - Библиогр.: с. 569-571. - ISBN 5-7562-0113-0 : 26.50 р.

ББК 87.4я73
Рубрики: Логика практическая
Кл.слова (ненормированные):
Наука логики -- высказывания -- Гегель,теория -- гипотезы -- дедуктивные умозаключения -- диалектика -- индукция -- конфликты -- миф -- научное познание -- познание -- понятие -- предикаты -- принятие решений -- противоречия -- риторика -- сказки -- споры -- суждения -- умозаключения -- фольклор -- Логика практическая -- УЧЕБНЫЕ ИЗДАНИЯ

Экземпляры всего: 2
абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   87.4
   Б86

    Бочаров, Вячеслав Александрович.
    Основы логики : Учебник для вузов / Вячеслав Александрович Бочаров, Владимир Ильич Маркин. - Москва : ИНФРА-М, 1998. - 294 с. - (Высшее образование). - ISBN 5-86225-595-8 : 23.00,15.00 р.

ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика -- учебные издания для высших учебных заведений -- язык -- предикаты -- дедуктивные рассуждения -- силлогистика -- понятия -- определения -- правдоподобные рассуждения

Доп.точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 8
читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1), Слово, ул. Кирова 82, т. 45-63-27 (1), Абашевская, ул. Пушкина 19, т. 31-55-26 (1), Запсибовская, ул. Горьковская 27, т. 52-55-97, им. Л. А. Никоновой, ул. Зорге 6, т. 34-24-35, Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1), Фесковская, ул. Разведчиков 64, т. 31-26-74, им. Д.С. Лихачева, ул. Косыгина 35 Б, т. 61-02-96 (1), Первая, пр. Строителей 21, т. 45-45-37 (1)
Свободны: читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1), Слово, ул. Кирова 82, т. 45-63-27 (1), Абашевская, ул. Пушкина 19, т. 31-55-26 (1), Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1), им. Д.С. Лихачева, ул. Косыгина 35 Б, т. 61-02-96 (1), Первая, пр. Строителей 21, т. 45-45-37 (1)
Прямая ссылка
Найти похожие

   87.4
   В 65

    Войшвилло, Евгений Казимирович.
    Понятие / Е. К. Войшвилло. - Москва : Издательство МГУ, 1967. - 284, [2] с. - Лит.: с. 277-280. - Предм. указ.: с. 281-285. - 1.16 р.

ББК 87.42 + 87.25
Рубрики: Логика
Кл.слова (ненормированные):
гносеология -- знак (филос.) -- логика -- логические функции -- математическая логика -- научное познание -- познание -- понятие и слово -- предикаты -- предметные функции -- семантика логическая -- суждение (лог.) -- теория имен -- философия языка -- функции -- языковые выражения -- Понятие (лог.) -- Виды

Экземпляры всего: 3
абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (2), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (2), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   87.4
   Г 47

    Гильберт, Дэвид.
    Основы теоретической логики / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Госиздат иностранной литературы, 1947. - 304 с. - Библиогр.: с. 297-298. - Приложение: с. 208-296. - 1.46 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЯ (КОМП.) -- МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ -- ЛОГИЧЕСКИЕ СВЯЗИ -- ИСЧИСЛЕНИЕ (ЛОГ.) -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ (ЛОГ.) -- ЛОГИСТИКА -- ЛОГИКА ПРИКЛАДНАЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГ.) -- ТЕОРИЯ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА -- СВОДИМОСТЬ (ЛОГ,) -- ПАРАДОКСЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Ерофеев, А.А. \.\; Яновская, С.А. \.\; Аккерман, В. \.\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Прямая ссылка
Найти похожие

   22.12
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / В. И. Игошин. - Москва : Академия, 2004 (Саратов). - 446, [1] с. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр. : с. 435-442. - ISBN 5-7695-1363-2 (в пер.) : 193.20 р.

ББК 22.12я73
Рубрики: Математика
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- ПРЕДИКАТЫ -- АЛГОРИТМЫ -- МАШИНЫ ТЬЮРИНГА -- ТЬЮРИНГА МАШИНЫ -- МАРКОВА АЛГОРИТМЫ -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ЛОГИК-ТЕОРЕТИК, ПРОГРАММА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ, ЯЗЫК ПРОГРАММИРОВАНИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- УЧЕБНЫЕ ИЗДАНИЯ ДЛЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
Аннотация: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Тьюринг, Алан Мэтисон (1912-1954) \о нем\; Turing, Alan Mathison \о нем\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие

   87.4
   Э 41


    Экспресс-Логика : учебное пособие для студентов нефилософских специальностей и направлений / О. Ю. Карпинская [и др.]. - [2-е изд.]. - Москва : ИНФРА-М, 1997. - 258, [1] с. - (Высшее образование). - ISBN 5-86225-685-7 : 40.00 р.

ББК 87.4я73
Рубрики: Логика (общие вопросы)
Кл.слова (ненормированные):
мышление; рассуждение; ассоциативные сравнения; знаковые системы; метод отношения именования; логическая форма; язык логики; логические высказывания; логические константы; предикаты; аналитические таблицы -- Логика (общие вопросы)

Доп.точки доступа:
Карпинская, Ольга Юрьевна \р.\; Ляшенко, Ольга Валентиновна \р.\; Меськов, Валерий Сергеевич \р.\; Шрамко, Ярослав Владиславович \р.\
Экземпляры всего: 1
Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1)
Свободны: Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1)
Прямая ссылка
Найти похожие

   87.4
   К 90

    Кулик, Борис Александрович.
    Логические основы здравого смысла / Б. А. Кулик ; [под ред. Д. А. Поспелова]. - Санкт-Петербург : Политехника, 1997. - 129, [2] с. - Библиогр.: с. 129-130 (43 назв.). - ISBN 5-7325-0442-7 : 30.00 р.

ББК 87.41
Рубрики: Логика (общие вопросы)
Математическая логика
Кл.слова (ненормированные):
здравый смысл; познавательная деятельность; рассуждение (лог.); суждения; выводы; парадоксы; предикаты; алгебра множеств; психоэтика; мифы -- Логика (общие вопросы) -- Математическая логика

Доп.точки доступа:
Поспелов, Д. А. \ктор.\
Экземпляры всего: 1
Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1)
Свободны: Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1)
Прямая ссылка
Найти похожие

   81.432.1-923.2
   Х 98

    Худяков, Андрей Александрович.
    Теоретическая грамматика английского языка : [учебное пособие] для студ. филол. фак. и фак. ин. яз. высш. учеб. заведений / А. А. Худяков. - 2-е изд., стереотип. - Москва : Academia, 2007. - 253, [1] с. - (Высшее профессиональное образование. Языкознание). - Лит. : с. 219-223 (112 назв. на рус. и ин. яз. ). - Терминологические словари : с. 223 (12 назв. на ин. яз.). - Глоссарий : с. 225-244. - ISBN 978-5-7695-4059-2 : 208.00 р.

ББК 81.432.1-923.2
Рубрики: Языкознание
Кл.слова (ненормированные):
грамматика английского языка; коллоквиальный синтаксис; семантический синтаксис; коммуникативный синтаксис; прагматический синтаксис; когнитивная грамматика; типы дейксиса в английском; дейктики в английском; морфология; конструктивный синтаксис; категории модальности; предикаты; функторы непредикатные -- Английский язык -- Грамматика -- ЛИТЕРАТУРА НА ИНОСТРАННЫХ ЯЗЫКАХ -- ЛИТЕРАТУРА НА АНГЛИЙСКОМ ЯЗЫКЕ

Экземпляры всего: 1
ИЯЦ Иностранная книга, ул. 25 лет Октября 1, т.74-71-83 (1)
Свободны: ИЯЦ Иностранная книга, ул. 25 лет Октября 1, т.74-71-83 (1)
Прямая ссылка
Найти похожие

   87.4
   М 25

    Мареев, Сергей Николаевич.
    Логика : учебник [для студентов вузов] / С. Н. Мареев ; Московская академия экономики и права ; Московская академия экономики и права. - Издание 3-е, исправленное и дополненное. - Москва : ЭКЗАМЕН, 2009 . - 317 с. : ил. - (Учебник для вузов). - Библиография: с. 317 (14 назв.) и в подстрочных примечаниях. - ISBN 978-5-377-01956-5 : 116.28 р.

ББК 87.4я73
Рубрики: Логика
   Понятие (лог.)
   Суждение (лог.)
   Умозаключение (лог.)
   Силлогизм
   Доказательство (лог.)
   Умозаключение (лог.)
Кл.слова (ненормированные):
абдукция Пирса -- древо Порфирия -- абдукция Пирса -- абстрагирование -- аксиома силлогизма -- алгебра логики -- ближайший род -- Булева алгебра -- Бэкона связи -- вид -- дедукция -- достаточные условия -- законы логики -- индукция -- индукция -- категории -- категорический силлогизм -- математическая индукция -- материальная импликация -- необходимые условия -- обобщение -- ограничение -- отрицание -- Пирса абдукция -- полисиллогизмы -- предикаты -- разделительный силлогизм -- рациональное -- род -- связи Бэкона -- силлогистика -- сорит -- условный силлогизм -- формализация -- формализм -- формализованная система -- формальная импликация -- чувственное -- энтимема -- эпихейрема -- Логика -- Понятие (лог.) -- Суждение (лог.) -- Умозаключение (лог.) -- Силлогизм -- Доказательство (лог.) -- Умозаключение (лог.) -- как учебная дисциплина

Доп.точки доступа:
Московская академия экономики и права
Экземпляры всего: 14
Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1), Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1), На Октябрьском, пр. Октябрьский 16, т. 77-18-63 (1), Фесковская, ул. Разведчиков 64, т. 31-26-74 (1), Абашевская, ул. Пушкина 19, т. 31-55-26 (1), Запсибовская, ул. Горьковская 27, т. 52-55-97 (1), Крылья, 25 лет Октября 2, т. 74-57-41, Слово, ул. Кирова 82, т. 45-63-27 (1), им. Д.С. Лихачева, ул. Косыгина 35 Б, т. 61-02-96 (1), им. Л. А. Никоновой, ул. Зорге 6, т. 34-24-35 (1), читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (2), Первая, пр. Строителей 21, т. 45-45-37 (1), Мир, ул. Тольятти 31, т. 46-17-38 (1)
Свободны: Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1), Кузнецкая, ул. Смирнова 3, т. 37-77-52 (1), На Октябрьском, пр. Октябрьский 16, т. 77-18-63 (1), Фесковская, ул. Разведчиков 64, т. 31-26-74 (1), Абашевская, ул. Пушкина 19, т. 31-55-26 (1), Запсибовская, ул. Горьковская 27, т. 52-55-97 (1), Слово, ул. Кирова 82, т. 45-63-27 (1), им. Д.С. Лихачева, ул. Косыгина 35 Б, т. 61-02-96 (1), им. Л. А. Никоновой, ул. Зорге 6, т. 34-24-35 (1), читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (2), Первая, пр. Строителей 21, т. 45-45-37 (1), Мир, ул. Тольятти 31, т. 46-17-38 (1)
Прямая ссылка
Найти похожие

10.

   22.17
   Т 47

    Тишин, Владимир Викторович.
    Дискретная математика в примерах и задачах : учебное пособие для студентов высших учебных заведений, обучающихся по специальности и направлению "Прикладная математика и информатика" и по направлению "Информационные технологии" / В. В. Тишин. - Санкт-Петербург : БХВ-Петербург, 2008. - 335, [2] с. : ил., табл. ; 21 см. - (Учебная литература для вузов). - Библиогр.: с. 337 (12 назв.). - Об авт.: 4 с. пер. - На пер.: Множества, декартовы произведения, соответствия, отношения ; Булевы функции ; Теория алгоритмов ; Предикаты ; Комбинаторика ; Конечные автоматы. - ISBN 978-5-9775-0232-0 (В пер.) : 155.21 р.

ББК 22.174я73
Рубрики: Математика
Кл.слова (ненормированные):
Булевы функции -- Дискретная математика -- Дискретная математика -- предикаты -- комбинаторика -- конечные автоматы -- автоматы Мили -- Мили автоматы

Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие

11.

   81.411.2
   Л 75

    Ломтев, Тимофей Петрович.
    Структура предложения в современном русском языке / Т. П. Ломтев ; под редакцией Н. Д. Арутюновой. - Москва : Издательство Московского университета, 1979. - 197, [1] с. : портр. - 1.80 р.

ББК 81.411.2
Рубрики: Языкознание
Кл.слова (ненормированные):
РУССКИЙ ЯЗЫК -- ГРАММАТИЧЕСКИЕ КАТЕГОРИИ -- КОНСТИТУЕНТЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПРЕДИКАТНОСТЬ (ЛИНГВ.) -- ПРЕДИКАТЫ (ЛОГ.) -- СИНТАГМАТИЧЕСКИЕ ОТНОШЕНИЯ -- ТЕОРИЯ СИНТАКСИСА -- ПРЕДЛОЖЕНИЕ (ЛИНГВ.) -- СИНТАКСИС

Доп.точки доступа:
Арутюнова, Н. Д. \ред.\
Экземпляры всего: 1
читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1)
Свободны: читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1)
Прямая ссылка
Найти похожие

12.

   81.411.2
   К 47


    Классы глаголов в функциональном аспекте : сборник научных трудов / Министерство высшего и среднего специального образования РСФСР, Уральский государственный университет им. А. М. Горького ; [редакционная коллегия: Л. Г. Бабенко и др.]. - Свердловск : Издательство Уральского государственного университета, 1986. - 153, [3] с. - Библиография: с. 145-154. - 311.00 р.

ББК 81.411
Рубрики: Языкознание
Кл.слова (ненормированные):
антонимы глагольные -- глагольная лексика -- лексические единицы -- лингвистика текста -- морфемные единицы -- предикаты (языкозн.) -- семантический синтаксис -- языкознание -- Глагол -- Семантика

Доп.точки доступа:
Бабенко, Л. Г. \ред., ктор.\
Экземпляры всего: 1
читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1)
Свободны: читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1)
Прямая ссылка
Найти похожие

13.

   74.26
   К17

    Калужнин, Лев Аркадьевич.
    Элементы теории множеств и математической логики в школьном курсе математики : пособие для учителей / Л. А. Калужнин. - Москва : Просвещение, 1978. - 85, [2] с. : ил. - Библиография: с. 85-86 (29 назв.). - 0.15 р.

ББК 74.26
Рубрики: Педагогика
Кл.слова (ненормированные):
математика -- методика преподавания в средней школе -- теория множеств -- математическая логика -- формальная логика -- алгебра высказываний -- алгебра множеств -- предикаты -- кванторы -- суждения -- силлогизмы

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

14.

   87.4
   С50

    Смирнов, Владимир Александрович.
    Формальный вывод и логические исчисления / В. А. Смирнов ; Академия наук СССР, Институт философии. - Москва : Наука, 1972. - 270, [1] с. - 0.67 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
рассуждение (лог.) -- логические системы -- логика предикатов -- предикаты (лог.)

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

15.

   22.12
   Г 47

    Гильберт, Давид.
    Основания математики = Grundlagen der mathematik : теория доказательств / Д. Гильберт, П. Бернайс ; перевод с немецкого Н. М. Нагорного ; под редакцией С. И. Адяна. - Москва : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - 3.40 р.

ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
ФОРМУЛЫ -- ТЕОРЕМЫ -- АРИФМЕТИКА -- ПЕРЕМЕННЫЕ -- НЕПРОТИВОРЕЧИВОСТЬ -- ФОРМАЛИЗМЫ -- ЧИСЛА -- ЭРБРАНА ТЕОРЕМА -- ТЕОРЕМА ЭРБРАНА -- ЛЕВЕНГЕЙМА ТЕОРЕМА -- ТЕОРЕМА ЛЕВЕНГЕЙМА -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРЕДИКАТЫ -- ТАРСКОГО ТЕОРЕМА -- ТЕОРЕМА ТАРСКОГО -- ЧЕРЧА ТЕОРЕМА -- ТЕОРЕМА ЧЕРЧА -- КАЛЬМАРА ДОКАЗАТЕЛЬСТВО -- ДОКАЗАТЕЛЬСТВО КАЛЬМАРА -- АККЕРМАНА ДОКАЗАТЕЛЬСТВО -- ДОКАЗАТЕЛЬСТВО АККЕРМАНА

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Бернайс, Пауль; Адян, С. И. \ред.\; Нагорный, Н. М. \пер.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

16.

   22.12
   Б88

    Бродский, Иосиф Нусимович.
    Элементарное введение в символическую логику / И. Н. Бродский ; Ленинградский государственный университет имени А. А. Жданова. - Издание 2-е, переработанное. - Ленинград : Издательство Ленинградского Университета, 1972. - 60, [2] с. - (В помощь студентам вечерних и заочных вузов). - 0.14 р.

ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
СИМВОЛИЧЕСКАЯ ЛОГИКА -- ФОРМАЛЬНАЯ ЛОГИКА -- ЯЗЫК ЛОГИКИ -- ЛОГИЧЕСКИЕ СОЮЗЫ -- РАВНОСИЛЬНЫЕ ФОРМУЛЫ -- ПРЕДИКАТЫ -- ЛОГИКА ПРЕДИКАТОВ

Доп.точки доступа:
Ленинградский государственный университет имени А. А. Жданова
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Прямая ссылка
Найти похожие

17.

   22.12
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 с. - Библиогр.: с.296-309. - 1.65 р.

ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ МНОЖЕСТВ -- АЛГОРИТМЫ -- ТЕОРИЯ АЛГОРИТМОВ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ПРЕДИКАТЫ (МАТЕМАТИКА)

Доп.точки доступа:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

18.

   22.1
   П 90

    Пухначев, Юрий Васильевич.
    Математика без формул. Вып. 3 / Ю. В. Пухначев, Ю. П. Попов. - Москва : Знание, 1979. - 157, [3] с. - (Народный университет. Естественнонаучный университет). - 0.30 р.

ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
МНОЖЕСТВА -- ОТОБРАЖЕНИЯ -- ВЫСКАЗЫВАНИЯ -- ПРЕДИКАТЫ

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Попов, Юрий Петрович
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

19.

   22.16
   У 77

    Успенский, Владимир Андреевич.
    Лекции о вычислимых функциях / В. А. Успенский. - Москва : Физматгиз, 1960. - 492 с. - (Математическая логика и основания математики). - 1.36 р.

ББК 22.16
Рубрики: Математика
Кл.слова (ненормированные):
ЛЕКЦИИ -- АЛГОРИТМЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНКЦИИ -- МНОЖЕСТВА -- ПРЕДИКАТЫ

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

20.

   22.12
   Н 73

    Новиков, Петр Сергеевич.
    Элементы математической логики / П.С. Новиков. - 2-е изд., испр. - Москва : Наука, Главная редакция физико-математической литературы, 1973. - 399 с. - (Математическая логика и основания математики). - 1.43 р.

ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- АРИФМЕТИКА -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- АКСИОМЫ -- НЕЗАВИСИМЫЕ АКСИОМЫ

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

1-20 21-24

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)