Введение в математическую логику
2149
Купить
Краткое содержание:
Экранизация книги

Введение в математическую логику

Автор:
Мендельсон Эллиот
Год:
1976
Язык:
Русский
Страниц:
320
Редакция:
2-е изд., испр.
Описание:
Мендельсон Э. Введение в математическую логику / Э. Мендельсон; Перевод с англ. Ф.А. Кабакова Под ред. С.И. Адаяна. - 2-е изд., испр. - Москва : Наука, 1976. - 320 с. ; 21 см. - Список лит.: с. 296-309. - Алф. указ.: с. 310-317
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика
Примечания:
Перевод изд.: Introduction to mathematical logic / E. Mendelson (New Jersey a. o.) . - Список лит.: с. 296-309 . - Алф. указ.: с. 310-317
Другие ответственные лица:
Кабаков, Ф.А. → Переводчик; Адян, С.И. → Редактор
Дата создания:
2020-03-08 13:57:13
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Введение в математическую логику

Заказать реферат Узнать стоимость Скачать пример
Введение в логику, урок 1: Базовые понятия
Автор: Рахим Давлеткалиев (https://rakh.im/) Практические курсы по программированию на русском языке - от первой программы до первой работы ...
Хекслет
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Введение в математическую логику
Опросы
Укажите тип книги
Художеств.
Документальные
Учебные
Научные
Производственно-технические
Программно-методические
Справочные
Агитационно-пропагандистские
Научно-популярные
Инструктивные
Не знаю
Содержание

Реставрация Введение в математическую логику

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Введение в математическую логику
Понятие "Высказывание". Основные операции логики высказываний.
Александр Жуков
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Оценки. Булевы функции
0:00:09 1. Пропозициональный язык 0:07:57 2. Подформулы 0:15:19 3. Семантика. Оценки 0:18:03 4. Лемма о продолжении оценки 0:23:40 5. Лемма об ...
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов
0:00:09 1. Начало темы: «логика предикатов». Различие пропозициональной логики от логики предикатов. Определение понятий 0:14:14 2. Термы ...
teach-in
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №227
Москва, Москва, Северное Тушино район
Героев Панфиловцев, 12 к1
Расположение на карте
санитарный день: последнее вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
szao-cbs.ru
Вконтакте:  https://vk.com/biblioszao_msk
Facebook:  https://facebook.com/Szaobibl.Msk
 +7 (495) 494-21-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №1 им. А.С. Грибоедова
Москва, Москва, Мещанский район
Сущёвский Вал, 66
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
cbscao.ru
 +7 (495) 631-05-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Каскаринская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, с. Каскара
Ленина, 7
Расположение на карте
летний период: пн-пт 10:00-18:00, перерыв 13:00-14:00; сб-вс выходной
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
cbstmr.ru
 +7 (3452) 76-29-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новоликеевская сельская библиотека
Нижегородская область, Кстовский район, д. Новоликеево
Ленина, 3
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Новомосковская библиотечная система, МБУК
Тульская область, Новомосковск городской округ, Новомосковск
Трудовые резервы, 67
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Пт: 11:00-13:00 14:00-19:00
Сб: 11:00-13:00 14:00-19:00
nmosk-lib.ru
Вконтакте:  https://vk.com/club76870112
 +7 (48762) 4-17-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Адлерского района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Адлерский район, Адлер
Лесная (Блиново), 17
Расположение на карте
санитарный день: последний день месяца
Вт: 11:30-19:00
Ср: 11:30-19:00
Чт: 11:30-19:00
Пт: 11:30-19:00
Сб: 11:30-19:00
library-adler.ru
 +7 (862) 240-20-38 +7 (862) 263-87-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Красный Яр
Алтайский край, Советский район, с. Красный Яр
Центральная, 19
Расположение на карте
Пн: 08:30-12:30 14:00-17:00
Вт: 08:30-12:30 14:00-17:00
Ср: 08:30-12:30 14:00-17:00
Чт: 08:30-12:30 14:00-17:00
Пт: 08:30-12:30 14:00-17:00
 +7 (38598) 2-83-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Алтайская краевая детская библиотека им. Н.К. Крупской
Алтайский край, Барнаул городской округ, Барнаул, Железнодорожный район, Центр
Строителей проспект, 21
Расположение на карте
санитарный день: последняя пт месяца; летний период: сб выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
akdb22.ru
Вконтакте:  https://vk.com/akdbkru
 +7 (3852) 61-99-85 +7 (3852) 61-64-48
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №9, г. Ишимбай
Республика Башкортостан, Ишимбайский район, Ишимбай
Геологическая, 34
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Вконтакте:  https://vk.com/biblioteka_iskusstv
Одноклассники:  https://ok.ru/biblioteka.iskusstvishimbay
 +7 (34794) 4-12-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11
Республика Хакасия, Абакан городской округ, Абакан, Западный
Советская, 117
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-17:00; санитарный день: последняя ср месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 10:00-17:00
 +7 (3902) 34-07-53
Показать номер
Начало.Математическая логика и теория алгоритмов.
Начинаем знакомиться с математической логикой и теорией алгоритмов. Введение. В следующих видео начнём знакомится с теоретической частью.
НПК Математическая логика
Целью освоения учебной дисциплины "Математическая логика" является формирование представлений о классической логике и ее применении в ...
Санкт-Петербургский Политехнический Университет Петра Великого Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы
0:00:10 1. 3 вопроса которыми занимается математическая логика 0:00:46 2. Предметы логики. Две основные задачи теории алгоритмов 0:03:27 3.
teach-in Логика — Принципы математического мышления — уровень 2 из 5
00:34 Книга “Математическое и гуманитарное: преодоление барьера” Текст правил голосования: Для избрания членом общества необходимо получить ...
Маткульт-привет! :: Алексей Савватеев и Ко
Рецензии и отзывы
Егор Петров
Введение в математическую логику. Аннотация: жизнь не вернется в привычное русло, пока мы не осознаем, что в мире присутствует некая неуловимая реальность.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №227
Москва, Москва, Северное Тушино район
Героев Панфиловцев, 12 к1
Расположение на карте
санитарный день: последнее вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
szao-cbs.ru
Вконтакте:  https://vk.com/biblioszao_msk
Facebook:  https://facebook.com/Szaobibl.Msk
 +7 (495) 494-21-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №1 им. А.С. Грибоедова
Москва, Москва, Мещанский район
Сущёвский Вал, 66
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
cbscao.ru
 +7 (495) 631-05-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Каскаринская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, с. Каскара
Ленина, 7
Расположение на карте
летний период: пн-пт 10:00-18:00, перерыв 13:00-14:00; сб-вс выходной
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
cbstmr.ru
 +7 (3452) 76-29-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новоликеевская сельская библиотека
Нижегородская область, Кстовский район, д. Новоликеево
Ленина, 3
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Новомосковская библиотечная система, МБУК
Тульская область, Новомосковск городской округ, Новомосковск
Трудовые резервы, 67
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Пт: 11:00-13:00 14:00-19:00
Сб: 11:00-13:00 14:00-19:00
nmosk-lib.ru
Вконтакте:  https://vk.com/club76870112
 +7 (48762) 4-17-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Адлерского района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Адлерский район, Адлер
Лесная (Блиново), 17
Расположение на карте
санитарный день: последний день месяца
Вт: 11:30-19:00
Ср: 11:30-19:00
Чт: 11:30-19:00
Пт: 11:30-19:00
Сб: 11:30-19:00
library-adler.ru
 +7 (862) 240-20-38 +7 (862) 263-87-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Красный Яр
Алтайский край, Советский район, с. Красный Яр
Центральная, 19
Расположение на карте
Пн: 08:30-12:30 14:00-17:00
Вт: 08:30-12:30 14:00-17:00
Ср: 08:30-12:30 14:00-17:00
Чт: 08:30-12:30 14:00-17:00
Пт: 08:30-12:30 14:00-17:00
 +7 (38598) 2-83-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Алтайская краевая детская библиотека им. Н.К. Крупской
Алтайский край, Барнаул городской округ, Барнаул, Железнодорожный район, Центр
Строителей проспект, 21
Расположение на карте
санитарный день: последняя пт месяца; летний период: сб выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
akdb22.ru
Вконтакте:  https://vk.com/akdbkru
 +7 (3852) 61-99-85 +7 (3852) 61-64-48
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №9, г. Ишимбай
Республика Башкортостан, Ишимбайский район, Ишимбай
Геологическая, 34
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Вконтакте:  https://vk.com/biblioteka_iskusstv
Одноклассники:  https://ok.ru/biblioteka.iskusstvishimbay
 +7 (34794) 4-12-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11
Республика Хакасия, Абакан городской округ, Абакан, Западный
Советская, 117
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-17:00; санитарный день: последняя ср месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 10:00-17:00
 +7 (3902) 34-07-53
Показать номер
Информация от пользователей
Азат Нагирян
Введение в математическую логику. Аннотация: В монографии рассматриваются основные проблемы математической логики: теорема Гёделя о неполноте, формализация понятия доказательства, теоремы Гёделя и дедуктивные системы, логика предикатов, логическая эквивалентность, аксиоматическая теория множеств, теория типов, проблема разрешимости, проблемы доказательства непротиворечивости, вывода и полноты в математической логике и др. Книга предназначена для студентов, аспирантов и научных работников, интересующихся проблемами логики.
Прикрепить файл
Книга находятся в категориях.