Библиотека АГГПУ

Головна

Спрощенний режим

Опис

Бази даних

Каталог книг- результати пошуку

Вид пошуку

Каталог книг

Труды преподавателей

Каталог периодических изданий

Межвузовская электронная библиотека

ФЭРУ

Зона пошуку

Знайдено у інших БД:

IPRbooks книги (2)

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=исчисление высказываний<.>

Загальна кількість знайдених документів : 5
Показані документи с 1 за 5

   22.1
   Л 65

    Лихтарников, Леонид Моисеевич.
    Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. : Лань, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 2 000 прим.. - ISBN 978-5-8114-0082-9

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
понятие высказываний -- алгебра буля -- закон двойственности -- исчисление высказываний -- понятие вывода -- правила выводимости -- кванторные операции -- логика предикатов -- математические теории -- алгоритмы

Дод.точки доступу:
Сукачева, Тамара Геннадьевна
Примірників всього: 5
Аб. (5)
Свободны: Аб. (5)
Знайти схожі

   22.1
   Л 13

    Лавров, Игорь Андреевич.
    Математическая логика : учебное пособие для студентов вузов / И. А. Лавров ; ред. Л. Л. Максимова. - М. : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика). - 3 000 прим.. - ISBN 5-7695-2735-8
Рекомендовано Мин. образования

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
алгебраические системы -- логические системы -- классические алгебраические системы -- построение логических исчислений -- исчисление высказываний -- исчисление предикатов -- теория множеств -- числовые теории -- геометрические теории

Дод.точки доступу:
Максимова, Л. Л. \ред.\
Примірників всього: 20
Аб. (20)
Свободны: Аб. (20)
Знайти схожі

   22.1
   Н 73

    Новиков, Петр Сергеевич.
    Элементы математической логики [Текст] / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 30000 прим.. -

27.03

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

Примірників всього: 5
Аб. (3), фмф (2)
Свободны: Аб. (3), фмф (2)
Знайти схожі

   22.1
   С 81

    Столл, Роберт Р..
    Множества. Логика. Аксиоматические теории [Текст] / Р. Р. Столл ; пер. с англ.: Ю. А. Гастев, И. Х. Шмаин ; ред. Ю. А. Шиханович. - М. : Просвещение, 1968. - 231 с. : ил. - 70000 прим.. -

27.17

ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--АЛГЕБРА
Кл.слова (ненормовані):
теория множеств -- математическая логика -- основания математики -- интуитивная теория множеств -- отношения эквивалентности -- отношения порядка -- исчисление предикатов -- логическое следствие -- приложения -- сентенциональные связки -- математика -- булева алгебра -- конгруэнтность -- свободные булевы алгебры -- исчисление высказываний

Дод.точки доступу:
Гастев, Ю. А. \пер. с англ.\; Шмаин, И. Х. \пер. с англ.\; Шиханович, Ю. А. \ред.\
Примірників всього: 12
Аб. (12)
Свободны: Аб. (12)
Знайти схожі

   22.1
   М 34


    Математика [Текст] : учебное пособие / Р. П. Шепелева [и др.]. - Саратов : Ай Пи Эр Медиа, 2018. - 194 с. : ил. - (Университетский учебник). - 1000 прим.. - ISBN 978-5-4486-0107-1
Победитель I конкурса публикаций "Университетский учебник - 2017"

ББК 22.1 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА
Кл.слова (ненормовані):
алгебра -- матричный анализ -- метод Крамера -- векторный анализ -- аналитическая геометрия -- пределы -- предел числовой последовательности -- предел функций -- свойства пределов -- методы вычисления пределов функций -- производные -- определение производной -- свойства производной -- таблицы производных -- вычисление производных -- свойства дифференциала -- правило Лопиталя -- производная неявной функции -- производная параметрической функции -- вогнутость графика функции -- выпуклость графика функции -- экстримумы -- неопределенный интеграл -- свойства неопределенных интегралов -- таблицы неопределенных интегралов -- определенный интеграл -- переменные -- несобственный интеграл -- дифференциальные уравнения -- степенные ряды -- задача Коши -- теория вероятностей -- математическая статистика -- математическая обработка информации -- испытания -- события -- классическая вероятность -- статистическая вероятность -- геометрическая вероятность -- дискретные случайные величины -- моменты дискретных случайных величин -- непрерывные случайные величины -- моменты непрерывных случайных величин -- вычисление рисков -- выборочные распределения -- выборочные моменты -- равномерное распределение -- показательное (экспоненциальное) распределение -- нормальное распределение -- математическая обработка информации -- интервальные выборочные оценки -- эмпирическая функция распределения -- гистограммы -- уравнение линейной регрессии -- элементы теории принятия решений -- теория принятия решений -- математическая логика -- дискретная математика -- множества -- исчисление высказываний -- формулы -- конъюнкция -- дизъюнкция -- отрицание -- строгая дизъюнкция -- импликация -- эквивалентность -- логика доказательства от противного в математике -- логика доказательства от противного в быту
Анотація: Учебное пособие содержит общее описание учебного процесса по дисциплине; конспекты лекций; материалы практических занятий: классные, домашние задания, задания для самостоятельной работы, образцы заданий контрольных работ; тесты, список литературы для самостоятельной работы. Образовательная программа учебного курса имеет объем: 18 часов лекций, 36 часов практики, 18 часов самостоятельной работы студентов. В настоящем учебном пособии отражено содержание учебного курса «Математика», разработанного для студентов 1-го курса очной формы обучения направлений бакалавриата, изучающих математику.

Дод.точки доступу:
Шепелева, Риорита Петровна; Головко, Николай Иванович; Иванов, Борис Николаевич; Первухин, Михаил Александрович; Полещук, Галина Сергеевна; Коробецкая, Юлия Ивановна; Бондрова, Олеся Васильевна; Крылова, Диана Сергеевн
Примірників всього: 2
Ч.з.№1 (1), Ч.з.№3 (1)
Свободны: Ч.з.№1 (1), Ч.з.№3 (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)