Математическая логика

Main
Fiction - Classics
Математическая логика

Математическая логика

Клини С.К. (Kleene S.C.)

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

First edition thus. Originally published in Mademoiselle. An autobiographical story of Capote's childhood. 10 , 45+ 1 pages. quarter blue cloth, tan cloth-covered boards, paper label with photograph.. 8vo..

Категории:

Fiction - Classics

Година:

1973

Издателство:

Мир

Език:

russian

Страници:

481

ISBN 10:

0123456789

ISBN 13:

9780123456786

Файл:

DJVU, 8.62 MB

IPFS:

,

russian, 1973

Четете Онлайн

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Клини С.К.(Kleene S.C.) — Математическая логика

Линдон Р. — Заметки по логике

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

Новиков П.С. — Элементы математической логики

Новиков П. — Элементы математической логики

Фейс Р. — Модальная логика

Нагел Э., Саппс П., Тарский А. (ред.) — Математическая логика и ее применения

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Глухов М.М. — Математическая логика

Гуц А.К. — Математическая логика и теория алгоритмов

Нагель Э. — Теорема Гёделя

Гейтинг А. — Обзор исследований по основаниям математики

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Клини С.К.(Kleene S.C.) — Введение в метаматематику

Смирнов В.А. — Формальный вывод и логические исчисления

Эдельман С.Л. — Математическая логика. Учебное пособие для институтов.

Гильберт Давид, Бернайс Пауль — Основания математики. Логические исчисления и формализация арифметики

Семичевская Н.П. — Дискретная математика (ИУС)

Михайлов А.Б., Швецкий М.В — Лекции по основам математической логики. Формальные системы первого порядка

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Смирнов В.А., и др. (ред.) — Логический вывод. Сборник статей

Корнеева Н. Н. (Наталья Николаевна) — Математическая логика: конспект лекций

Гильберт Д., Бернайс П. — Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики

Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]

Плиско В.Е. — Математическая логика. Курс лекций

Серебрянников О.Ф. — Эвристические принципы и логические исчисления

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Най-често използвани термини

предикатов

доказательство

качестве

исчисления

доказательства

исчисление

высказываний

переменных

значения

множества

исчислении

множество

существует

переменные

доказательств

секвенции

являются

значений

свободно

символов

согласно

получаем

равенства

множеств

предикат

содержит

математики