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

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

Автор:
Мендельсон Эллиот
Год:
1971
Язык:
Русский
Страниц:
320
Описание:
Мендельсон Э. Введение в математическую логику / Перевод с англ. Ф.А. Кабакова; Под ред. С.И. Адяна. - Москва : Наука, 1971. - 320 с. : схем. ; 22 см. - Список лит.: с. 296-309. - Алф. указ.: с. 310-317
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика
Примечания:
На обороте тит. л.: Introduction to mathematical logic. By Elliott Mendelson . - Список лит.: с. 296-309 . - Алф. указ.: с. 310-317
Другие ответственные лица:
Кабаков, Ф.А. → Переводчик; Адян, С.И. → Редактор
Дата создания:
2020-08-03 22:20:34
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

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

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

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

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Введение в математическую логику
Понятие "Высказывание". Основные операции логики высказываний.
Александр Жуков
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы
0:00:10 1. 3 вопроса которыми занимается математическая логика 0:00:46 2. Предметы логики. Две основные задачи теории алгоритмов 0:03:27 3.
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов
0:00:09 1. Начало темы: «логика предикатов». Различие пропозициональной логики от логики предикатов. Определение понятий 0:14:14 2. Термы ...
teach-in
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская детская библиотека им. А.П. Гайдара
Одесская область, Одесса, Приморский район
Екатерининская, 65
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-17:00
Вс: 09:30-18:00
 +380 (48) 722-30-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №29, Централизованная библиотечная система
Бишкек, Бишкек, Первомайский район, Колмо ж/м
Мыскал, 54
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
 +996 555-09-46-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Український державний хіміко-технологічний університет
Днепропетровская область, Днепровский городской совет, Днепр, Соборный район
Гагарина проспект, 8
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Facebook:  https://facebook.com/udhtu.official
 +380 (562) 47-26-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №83
Москва, Москва, Северное Измайлово район
Константина Федина, 2 к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
www.cbs-izmailovo.ru
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
Твиттер:  https://twitter.com/@cbsvao
Youtube:  https://youtube.com/channel/UC2C404_ri2uHkILBNilqyAg/featured
 +7 (499) 164-33-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Самарская публичная библиотека
Самарская область, Самара городской округ, Самара, Самарский район
Куйбышева, 95
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
www.spbiblio.ru/
Вконтакте:  https://vk.com/club140389173
 +7 (846) 333-45-21 +7 (846) 332-21-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Неклюдовская библиотека №1
Нижегородская область, Бор городской округ, Бор, Неклюдово
Дружба квартал, 20 к1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-16:00
 +7 (83159) 6-65-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №7 им. К. Симонова
Нижегородская область, Дзержинск городской округ, Дзержинск
Галкина, 13
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
dzlib.ru
Вконтакте:  https://vk.com/club96196529
 +7 (8313) 32-29-62 +7 (8313) 32-38-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Пушкарево
Новосибирская область, Ордынский район, д. Пушкарёво
Школьная, 2
Расположение на карте
Вт: 10:00-13:00 14:00-16:30
Ср: 10:00-13:00 14:00-16:30
Чт: 10:00-13:00 14:00-16:30
Пт: 10:00-13:00 14:00-16:30
Сб: 10:00-14:30
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Республика Башкортостан, Уфа городской округ, Уфа, Дёмский район, Дёма
Ухтомского, 12
Расположение на карте
санитарный день: каждый последний чт месяца
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
 +7 (347) 216-48-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Елизаветинская сельская библиотека
Ленинградская область, Гатчинский район, пос. Елизаветино
Леонида Басова, 10а
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-17:00
 +7 (81371) 5-72-66
Показать номер
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Оценки. Булевы функции
0:00:09 1. Пропозициональный язык 0:07:57 2. Подформулы 0:15:19 3. Семантика. Оценки 0:18:03 4. Лемма о продолжении оценки 0:23:40 5. Лемма об ...
teach-in Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 1
0:00:09 1. Литералы. Элементарная конъюнкция (Сигнальная формула) 0:07:38 2. Теорема об эквивалентности СДНФ (Совершенная дизъюнктивная ...
teach-in Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 2
0:00:09 1. Небольшое дополнение к прошлой лекции 0:02:03 2. Теорема. Об общезначимых формулах в булевой алгебре 0:12:15 3. Исчисление ...
teach-in Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1
0:00:09 1. Продолжение доказательства теоремы из прошлой лекции 0:07:43 2. Лемма 12.1 О подстановке термов 0:14:29 3. Теорема 7.4 Значения ...
teach-in
Рецензии и отзывы
Егор Петров
Введение в математическую логику. В книге описывается ряд методов обработки теоретической информации, применяемых в современной аналитической логике, анализируется функционирование этих методов, анализируются связи между ними и системой понятий
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская детская библиотека им. А.П. Гайдара
Одесская область, Одесса, Приморский район
Екатерининская, 65
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-17:00
Вс: 09:30-18:00
 +380 (48) 722-30-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №29, Централизованная библиотечная система
Бишкек, Бишкек, Первомайский район, Колмо ж/м
Мыскал, 54
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
 +996 555-09-46-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Український державний хіміко-технологічний університет
Днепропетровская область, Днепровский городской совет, Днепр, Соборный район
Гагарина проспект, 8
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Facebook:  https://facebook.com/udhtu.official
 +380 (562) 47-26-25
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №83
Москва, Москва, Северное Измайлово район
Константина Федина, 2 к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
www.cbs-izmailovo.ru
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
Твиттер:  https://twitter.com/@cbsvao
Youtube:  https://youtube.com/channel/UC2C404_ri2uHkILBNilqyAg/featured
 +7 (499) 164-33-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Самарская публичная библиотека
Самарская область, Самара городской округ, Самара, Самарский район
Куйбышева, 95
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
www.spbiblio.ru/
Вконтакте:  https://vk.com/club140389173
 +7 (846) 333-45-21 +7 (846) 332-21-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Неклюдовская библиотека №1
Нижегородская область, Бор городской округ, Бор, Неклюдово
Дружба квартал, 20 к1
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-16:00
 +7 (83159) 6-65-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №7 им. К. Симонова
Нижегородская область, Дзержинск городской округ, Дзержинск
Галкина, 13
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
dzlib.ru
Вконтакте:  https://vk.com/club96196529
 +7 (8313) 32-29-62 +7 (8313) 32-38-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Пушкарево
Новосибирская область, Ордынский район, д. Пушкарёво
Школьная, 2
Расположение на карте
Вт: 10:00-13:00 14:00-16:30
Ср: 10:00-13:00 14:00-16:30
Чт: 10:00-13:00 14:00-16:30
Пт: 10:00-13:00 14:00-16:30
Сб: 10:00-14:30
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13
Республика Башкортостан, Уфа городской округ, Уфа, Дёмский район, Дёма
Ухтомского, 12
Расположение на карте
санитарный день: каждый последний чт месяца
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
 +7 (347) 216-48-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Елизаветинская сельская библиотека
Ленинградская область, Гатчинский район, пос. Елизаветино
Леонида Басова, 10а
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-17:00
 +7 (81371) 5-72-66
Показать номер
Информация от пользователей
Азат Нагирян
Введение в математическую логику. В книге описывается
Прикрепить файл
Книга находятся в категориях.