Теория следования в пропозициональной логике : Автореф. дис. на соиск. учен. степени канд. филос. наук : (09.00.07)
806
Купить
Краткое содержание:
Экранизация книги

Теория следования в пропозициональной логике : Автореф. дис. на соиск. учен. степени канд. филос. наук : (09.00.07)

Автор:
Сидоренко Евгений Александрович
Год:
1973
Язык:
Русский
Описание:
Сидоренко Е.А. Теория следования в пропозициональной логике : Автореф. дис. на соиск. учен. степени канд. филос. наук : (09.00.07) / АН СССР. Ин-т философии. - Москва, 1973. - 21 с
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Дата создания:
2021-01-16 20:05:40
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Теория следования в пропозициональной логике : Автореф. дис. на соиск. учен. степени канд. филос. наук : (09.00.07)

Заказать реферат Узнать стоимость Скачать пример
3.2.Пропозициональные логические связки.Математическая логика и теория алгоритмов.
Понятие простого (элементарного) высказывания является первоначальным (неопределяемым) понятием в ...
Слепой часовщик
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Теория следования в пропозициональной логике : Автореф. дис. на соиск. учен. степени канд. филос. наук : (09.00.07)
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Теория следования в пропозициональной логике : Автореф. дис. на соиск. учен. степени канд. филос. наук : (09.00.07)

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Александр Грефенштейн//Конструктивные логики Нельсона
НИС "Современные проблемы математической логики" в ВШЭ Дата и время: 19.11.2021 в 16:20 Докладчик: Александр ...
Логика в Москве
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов
0:00:09 1. Начало темы: «логика предикатов». Различие пропозициональной логики от логики предикатов. Определение ...
teach-in
Лекция 8 | Математическая логика | Станислав Сперанский
[Весна 2020] На этой лекции мы докажем теорему о сильной полноте для первопорядкового исчисления. Слайды к лекциям ...
Logicarium
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. И.М. Вазова, Центр болгарской культуры
Одесская область, Одесса, Приморский район
Вице-Адмирала Жукова, 9
Расположение на карте
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
 +380 (48) 722-32-65
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. З. Космодемьянской, МБУК Централизованная библиотечная система
Краснодарский край, Армавир городской округ, Армавир, Центр
Свердлова, 70
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Сб: 09:00-17:00
Вс: 09:00-17:00
armdetbib.krd.muzkult.ru
 +7 (86137) 3-22-97 +7 (86137) 3-85-01 +7 (86137) 3-01-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека
Краснодарский край, Новокубанский район, ст-ца Советская
Ленина, 291
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7 (86195) 5-61-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №58
Москва, Москва, Лосиноостровский район
Анадырский проезд, 39 к2
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
bibliosvao.ru
 +7 (499) 184-59-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечный пункт, ЦБС, филиал №7
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Жилкино
Полярная, 104
Расположение на карте
зимний период: вт-сб 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (3952) 38-61-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Нижнекаменка
Новосибирская область, Ордынский район, с. Нижнекаменка
Советская, 80
Расположение на карте
технический день: последний рабочий день месяца
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.Д. Знаменского
Краснодарский край, Краснодар городской округ, пос. Белозерный, Прикубанский округ
Белозёрный пос, 14/2
Расположение на карте
санитарный день: последний чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
Вс: 12:00-19:00
 +7 (861) 229-43-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Республика Адыгея, Адыгейск городской округ, Адыгейск
Ленина проспект, 21
Расположение на карте
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-17:00
 +7 (87772) 9-29-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13 им. А.В. Луначарского
Костромская область, Кострома городской округ, Кострома, Заволжский район
Библиотечный проезд, 17
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (4942) 53-12-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новоархангелковская сельская библиотека №17
Омская область, Любинский район, с. Новоархангелка
Советская, 42
Расположение на карте
Пн: 09:00-13:00 15:00-18:00
Вт: 09:00-13:00 15:00-18:00
Ср: 09:00-13:00 15:00-18:00
Чт: 09:00-13:00 15:00-18:00
Пт: 09:00-13:00 15:00-18:00
Сб: 09:00-13:00 15:00-17:00
 +7 (38175) 2-53-31
Показать номер
4.3.Интерпретация формул.Математическая логика и теория алгоритмов.
Для пропозициональной формулы, задав интерпретацию переменных, мы получаем интерпретацию всей формулы.
Слепой часовщик Математическая логика, 1Б 1 поток, 26.03
Лекция Гончарова Сергея Савостьяновича 0:00 Теорема Геделя о полноте исчисления высказываний 8:26 Теорема о к.н.ф ...
ММФ НГУ Беликов А.А. "Семантика по австралийскому плану для некоторых расширений логики FDE"
Кафедра истории философии и логики ТГУ Лекция 1. С.О. Сперанский. Краткий экскурс в FOCL
2022 г. МФТИ. С.О. Сперанский. Структурная теория доказательств и алгебраическая логика Лекция 1. С.О. Сперанский.
МЦМУ МИАН
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. И.М. Вазова, Центр болгарской культуры
Одесская область, Одесса, Приморский район
Вице-Адмирала Жукова, 9
Расположение на карте
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
 +380 (48) 722-32-65
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. З. Космодемьянской, МБУК Централизованная библиотечная система
Краснодарский край, Армавир городской округ, Армавир, Центр
Свердлова, 70
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Сб: 09:00-17:00
Вс: 09:00-17:00
armdetbib.krd.muzkult.ru
 +7 (86137) 3-22-97 +7 (86137) 3-85-01 +7 (86137) 3-01-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека
Краснодарский край, Новокубанский район, ст-ца Советская
Ленина, 291
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7 (86195) 5-61-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №58
Москва, Москва, Лосиноостровский район
Анадырский проезд, 39 к2
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
bibliosvao.ru
 +7 (499) 184-59-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечный пункт, ЦБС, филиал №7
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Жилкино
Полярная, 104
Расположение на карте
зимний период: вт-сб 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (3952) 38-61-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Нижнекаменка
Новосибирская область, Ордынский район, с. Нижнекаменка
Советская, 80
Расположение на карте
технический день: последний рабочий день месяца
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.Д. Знаменского
Краснодарский край, Краснодар городской округ, пос. Белозерный, Прикубанский округ
Белозёрный пос, 14/2
Расположение на карте
санитарный день: последний чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00
Вс: 12:00-19:00
 +7 (861) 229-43-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Республика Адыгея, Адыгейск городской округ, Адыгейск
Ленина проспект, 21
Расположение на карте
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-17:00
 +7 (87772) 9-29-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13 им. А.В. Луначарского
Костромская область, Кострома городской округ, Кострома, Заволжский район
Библиотечный проезд, 17
Расположение на карте
зимний период: пн-пт 10:00-18:00; вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (4942) 53-12-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новоархангелковская сельская библиотека №17
Омская область, Любинский район, с. Новоархангелка
Советская, 42
Расположение на карте
Пн: 09:00-13:00 15:00-18:00
Вт: 09:00-13:00 15:00-18:00
Ср: 09:00-13:00 15:00-18:00
Чт: 09:00-13:00 15:00-18:00
Пт: 09:00-13:00 15:00-18:00
Сб: 09:00-13:00 15:00-17:00
 +7 (38175) 2-53-31
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.