Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (27)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Логика<.>)
Общее количество найденных документов
:
99
Показаны документы
с 1 по 20
1..20
21..40
41..60
1.
002
Т74
Информатика [] / В.П. Тихомиров, Вальциферов Ю.В.
Часть 1.
: Системы счисления. Элементы математической логики : учебно-методическое пособие / Московский государственный университет экономики, статистики и информатики. - М. : МЭСИ, 1996. - 101 с. - Содержание : Системы счисления. Элементы математической логики. Решение содержательных задач с помощью аппарата алгебры логики. Построение логических и электрических схем по заданным функциям. . -
ISBN
5-7764-0119-4 : 12 р.
ГРНТИ
20
УДК
002
ББК
22 183.492
Рубрики:
Информатика
Логика
Аннотация:
Цель пособия - дать слушателям материал для практических занятий по информатике. Пособие не содержит систематического изложения теоретического материала и не может заменить учебник по информатике. Оно содержит лишь основные и наиболее важные вопросы теории, необходимые для решения задач.
Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие
2.
16
И17
Ивлев, Ю. В.
Логика
для юристов [] : учебник для вузов / Ю.В. Ивлев. - М. : Дело, 2000. - 264 с. - (Серия "Российское право: теория и практика"). - Содержание : Предмет логики.
Логика
и язык права.
Логика
и методология. Основные методологические принципы логики. Суждение, вопрос, норма. Умозаключение. Понятие. Определение и классификация. Логические и методологические аспекты аргументации и критики. формы развития знания. . -
ISBN
5-7749-0179-3 : 73 р.
ГРНТИ
10.07.35
УДК
16
ББК
87.4; 67.5
Рубрики:
Логика
Юридические науки
Аннотация:
Цель учебника - заложить основу логической культуры мышления юриста, научить применять правила и законы логики в профессиональной деятельности. Рассмотрены следующие темы: история и предмет логики, формальная
логика
как наука, основные методологические принципы диалектической и формальной логики; суждение, вопрос и норма; понятие, классификация и др.
Держатели документа:
МУБиНТ МУБиНТ/ХР, МУБиНТ/ЧЗ
Свободных экз. нет
Найти похожие
3.
343
Ж91
Журавлев, Г. Т.
Криминология.
Логика
[] : программы курсов для студентов дневного и заочного отделений / Г.Т. Журавлев. - Электрон. текстовые дан. - М. : МЭСИ, 1999. - 124 Kb с. ; pdf. - Б. ц.
ГРНТИ
10.85
02.21
УДК
343
16
ББК
67.52/87.4
Рубрики:
криминология
Логика
Перейти:
Полный текст
Держатели документа:
МУБиНТ , МУБиНТ
Свободных экз. нет
Найти похожие
4.
16
И17
Ивлев, Ю. В.
Логика
[] : учебник / Ю. В. Ивлев ; Московский гос. ун-т им. М. В. Ломоносова. - 3-е изд., перераб. и доп. - М. : ТК Велби : Проспект, 2005. - 287 с. - Библиогр.: с. 285. - Содержание : Предмет и значение логики ;
Логика
и язык ;
Логика
и методология. Основы методологические принципы логики ; Суждение. Вопросы. Норма ; Умозаключение ; Понятия ; Определение и классификация ; Логические и методологические основы аргументации и критики ; Формы развития знания . -
ISBN
5-98032-917-X : 90 р.
ГРНТИ
10.07.35
УДК
16
ББК
87.4я73
Рубрики:
Логика
Аннотация:
Учебник соответствует программе курса логики для высших учебных заведений. В нем учтены последние научные разработки в этой области. В каждом разделе учебника приведены интересные упражнения, позволяющие легче усвоить материал. Для студентов высших учебных заведений, учащихся гимназий, а также для всех желающих изучить логику или усовершенствовать свои познания в этой науке.
Держатели документа:
МУБиНТ МУБиНТ/ЧЗ
Свободных экз. нет
Найти похожие
5.
Ю4я73
Г65
Гончаров, Сергей Севостьянович
.
Введение в логику и методологию науки [Текст] : нелитературный текст / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М. : Интерпракс,Новосибирск:Ин-т матем.СО РАН, 1994. - 256с. - 5000.2000 р.
ББК
Ю4я73
Рубрики:
философия математики
логика
математическая
логика
Кл.слова (ненормированные):
программа Гилберта
--
учебник Ю4
--
культурная инициатива
Держатели документа:
ЯрГУ
Доп.точки доступа:
Ершов, Юрий Леонидович; Самохвалов, Климентий Федорович ЯрГУ/КХ/НБ, ЯрГУ/УФ/НБ
Свободных экз. нет
Найти похожие
6.
Ю4
Н62
Никифоров, Александр Леонидович
.
Общедоступная и увлекательная книга по логике, содержащая объемное и систематическое изложение этой науки профессором философии [Текст] : нелитературный текст / А. Л. Никифоров. - М. : Дом интеллектуальной книги, 1998. - 235с. - 25.20 р.
ББК
Ю4
Рубрики:
Логика
Кл.слова (ненормированные):
логика
Держатели документа:
ЯрГУ ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
7.
В12
Д72
Драгалин, Альберт Григорьевич
.
Конструктивная теория доказательств и нестандартный анализ [Текст] : нелитературный текст / А. Г.Драгалин. - М. : Едиториал УРСС, 2003. - 544с. -
ISBN
5-354-00388-1 : 60.00 р.
ББК
В12
Рубрики:
логика
математическая
логика
Кл.слова (ненормированные):
нестандартный анализ
--
интуиционистская
логика
--
теория доказательств
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
8.
Ю4
М16
Маковельский, Александр Осипович
.
История логики [Текст] : нелитературный текст / А. О.Маковельский. - Жуковский-М. : Кучково поле, 2004. - 480с. -
ISBN
5-86090-081-3 : 220.85 р.
ББК
Ю4
Рубрики:
логика
философия
Кл.слова (ненормированные):
история
--
науки
Держатели документа:
ЯрГУ ЯрГУ/НА/НБ
Свободных экз. нет
Найти похожие
9.
В174
А39
Акимов, Олег Евгеньевич
.
Дискретная математика [Текст] :
логика
, группы, графы / О. Е. Акимов. - 2-е изд., доп. - М. : Лаборатория Базовых Знаний, 2003. - 376 с. - (Технический университет. Математика). -
ISBN
5-93208-025-6 : 190.00 р.
ББК
В174
Рубрики:
Математика
Логика
Кл.слова (ненормированные):
дискретная математика
--
комбинаторный анализ
--
графы
--
группы
--
алгебраические системы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
10.
В12
Р93
Рыбаков, Михаил Николаевич
.
Сложность пропозициональных логик с конечным числом переменных [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / М. Н. Рыбаков ; Тверской гос. ун-т ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2005. - 95 с. - б/ц
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
авторефераты В12
--
математическая
логика
--
пропозициональные логики
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
11.
В12
К84
Крупский, Николай Владимирович
.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц
ББК
В12
Рубрики:
Математика
Логика
Кл.слова (ненормированные):
авторефераты В12
--
основания математики
--
математическая
логика
--
теория доказательств
--
рефлексивная комбинаторная
логика
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
12.
В12
Н73
Новиков, Петр Сергеевич
.
Элементы математической логики [Текст] : нелитературный текст / П. С.Новиков. - М. : Гос.изд-во физ.-мат.лит., 1959. - 400с. - (Математическая
логика
и основания математики). - 60.00 р.
ББК
В12
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
13.
В12
М54
Метакидес, Г.
Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. -
ISBN
5-88688-037-2 : 50.00 р.
ББК
В12
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
логическая семантика
--
логическое программирование
--
логические программы
Держатели документа:
ЯрГУ
Доп.точки доступа:
Нероуд, А. ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
14.
В12я54
Н47
Неклассические логики
[Текст] : нелитературный текст. - Кишинев : Штиинца, 1987. - 156с. - (Математические исследования.Вып.98). - 4.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
неклассические логики
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
15.
В12я43
Л69
Логические исследования
[Текст] : сб.статей. - М. : АН СССР, 1959. - 466с. - 20.00 р.
ББК
В12я43
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
символическая
логика
--
логический анализ
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
16.
В12
С81
Столл, Роберт Р.
Множества.
Логика
.Аксиоматические теории [Текст] : нелитературный текст / Роберт Р.Столл ; Под ред.Ю.А.Шихановича.Пер.с англ. - М. : Просвещение, 1968. - 231с. - (Математическое просвещение). - 5.00 р.
ББК
В12
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
множества
--
аксиоматические теории
--
булевы алгебры
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
17.
В12
Ч-43
Чень, Ч.
Математическая
логика
и автоматическое доказательство теорем [Текст] : нелитературный текст / Ч.Чень,Р.Ли ; Пер.с англ. - М. : Наука, 1983. - 358с. - (Математическая
логика
и основания математики). - 6.00 р.
ББК
В12
Рубрики:
логика
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
математическая кибернетика
--
искусственный интеллект
Держатели документа:
ЯрГУ
Доп.точки доступа:
Ли, Р. ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
18.
В12
М34
Математическая
логика
в
программировании [Текст] : сборник статей / Пер.с англ. - М. : Мир, 1991. - 408с. - (Математическое обеспечение ЭВМ). -
ISBN
5-03-001635-Х : 8.00 р.
ББК
В12
Рубрики:
логика
программирование
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
функциональное программирование
--
лямбда-исчисление
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
19.
В12
С50
Смальян, Раймонд М.
Теория формальных систем [Текст] : нелитературный текст / Раймонд М.Смальян ; Под ред.Н.А.Шанина.Пер.с англ. - М. : Наука, 1981. - 207с. - (Математическая
логика
и основания математики). - 1.00 р.
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
теория формальных систем
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
20.
В12
Н73
Новиков, Петр Сергеевич
.
Элементы математической логики [Текст] : нелитературный текст / П. С.Новиков. - 2-е изд.,испр. - М. : Наука, 1973. - 399с. - (Математическая
логика
и основания математики). - 4.00 р.
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
дедукция
--
предикаты
--
аксиоматическая арифметика
--
теория доказательства
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
1..20
21..40
41..60