Формальный вывод и логические исчисления
1634

Формальный вывод и логические исчисления

Автор:
Смирнов Владимир Александрович
Год:
1972
Язык:
Русский
Страниц:
271
Описание:
Смирнов В.А. Формальный вывод и логические исчисления / АН СССР. Ин-т философии. - Москва : Наука, 1972. - 271 с. ; 19 см. - Список лит.: с. 267-268 (59 назв.)
Рейтинг по отзывам:
5
Рубрики:
Логика
Примечания:
Список лит.: с. 267-268 (59 назв.)
Дата создания:
2019-10-12 17:40:14
Соц. сети:
6 Аксиомы и правило вывода классической логики высказываний
Vanechki: математика, биология и многое другое
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Формальный вывод и логические исчисления
является ли культурным достоянием?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Матлогика 5. Исчисление высказываний.
Лектор: Мусатов Даниил Владимирович Съёмка: Алёна Быкова Монтаж: Пыж Владислав.
Лекторий ФИВТ
10 Интуиционистское исчисление высказываний (напоминание и пример вывода)
Vanechki: математика, биология и многое другое
Основная теорема логического вывода
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/
Irina Shoshmina
Смирнов Владимир Александрович
Монтаж, наладка, эксплуатация и ремонт оборудования газотурбинной компрессорной станции
Бомбометание : Учеб. пособие для летных школ и строевых частей ВВС РККА
Виброзащита высокоточного оборудования на основе виброизоляторов квазинулевой жесткости : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.23.17 <Строительная механика>
Логика и компьютер. [Вып.] 3 : Доказательство и его поиск
Формирование профессионально-правовой компетентности специалистов противопожарной службы МЧС России в ВУЗе : автореф. дис. на соиск. учен. степ. канд. пед. наук : специальность 13.00.08 <Теория и методика проф. образования>
Сборник задач и упражнений по общей электротехнике : Для неэлектротехн. вузов и фак.
Разогрев электронов электрическим полем в теллуриде ртути : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.04.10)
Название и адрес
Режим работы
Телефон
Центральная библиотека №106 ЦБС ЮВАО, г. Москва
Москва, Москва, Рязанский район
Институтская 3-я, 15
Расположение на карте
санитарный день: последний вт месяца
Вт: 17:00-19:00
Ср: 17:00-19:00
Чт: 17:00-19:00
Пт: 17:00-19:00
Сб: 17:00-19:00
Вс: 17:00-19:00
 +7 (499) 170-89-38
Показать номер
Название и адрес
Режим работы
Телефон
Кемеровская областная библиотека для детей и юношества
Кемеровская область, Кемерово городской округ, Кемерово, Центральный район
Арочная, 21а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
Название и адрес
Режим работы
Телефон
Апуш, центральная детская библиотека, г. Нижнекамск
Республика Татарстан, Нижнекамский район, Нижнекамск
Тукая, 31
Расположение на карте
июнь-август: вт-вс 10:00-20:00; пн выходной; санитарный день: первое число месяца
Вт: 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 (8555) 39-82-61
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. Т.Г. Шевченко
Красноярский край, Красноярск городской округ, Красноярск, Ленинский район, Энергетиков м-н
Волжская, 29
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (391) 266-98-78
Показать номер
5.3.Исчисление высказываний.Математическая логика и теория алгоритмов.
Мы опишем применение аксиоматического метода к пропозициональной логике. В результате получим формальную...
НПК Аксиоматический метод верификации программ А. Хоара
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Дедуктивная верифика...
Irina Shoshmina Лекция 9: Логика. Исчисления высказываний и исчисление предикатов
В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные разл...
НОУ ИНТУИТ Аксиоматическая теория Гильберта исчисления высказываний
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Аксиоматические...
Irina Shoshmina
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Сильва, книжный магазин
Бишкек, Бишкек, Свердловский район
Чуй проспект, 96а
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
Вс: 09:00-18:00
 +996 777-78-78-83
Показать номер
Название и адрес
Режим работы
Телефон
Лабиринт.ру, книжный интернет-магазин
Краснодарский край, Новороссийск городской округ, Новороссийск, Центральный район
Рубина, 11
Расположение на карте
Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-20:00
Вс: 09:00-20:00
 8-800-500-95-25 +7-928-843-08-63
Показать номер
Название и адрес
Режим работы
Телефон
Твоя книга, магазин
Ставропольский край, Пятигорск городской округ, Пятигорск, Центр
Береговая, 14
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-19:00
Название и адрес
Режим работы
Телефон
Эрудит, книжный магазин
Ставропольский край, Пятигорск городской округ, Пятигорск, Центр
Мира, 30
Расположение на карте
Пн: 14:00-18:00
Вт: 14:00-18:00
Ср: 14:00-18:00
Чт: 14:00-18:00
Пт: 14:00-18:00
Сб: 14:00-18:00
Вс: 14:00-18:00
 +7 (8793) 39-29-26
Показать номер
Прикрепить файл