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

   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)
Прямая ссылка
Найти похожие

1-10 11-20 21-24

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