О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями
1581
Купить
Краткое содержание:
Экранизация книги

О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями

Автор:
Шрайнер П. А.
Год:
1998
Язык:
Русский
Страниц:
21
Заглавие серии:
Препринт / М-во общ. и проф. образования Рос. Федерации, Новосиб. гос. ун-т. НИИ мат.-информ. основ обучения ; N 36
Описание:
Шрайнер П. А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П.А. Шрайнер. - Новосибирск : Б.и., 1998. - 21 с. ; 21 см. - (Препринт / М-во общ. и проф. образования Рос. Федерации, Новосиб. гос. ун-т. НИИ мат.-информ. основ обучения ; N 36). - Библиогр.: с. 21 (6 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика → Исчисление предикатов
Примечания:
Библиогр.: с. 21 (6 назв.)
Дата создания:
2021-06-19 19:31:02
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями
Опросы
Оригинал написан на мертвом языке?
Да, позже переведен на другие языки.
Нет.
Возможно.
Не знаю
Содержание

Реставрация О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека
Калужская область, Калуга городской округ, Калуга, Ленинский округ, Анненки
Вишневского, 23а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
cbs-kaluga.ru
 +7 (4842) 72-52-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13, пос. Миловидово
Смоленская область, Смоленск городской округ, Смоленск, Ленинский район, Миловидово
Миловидово пос, 58
Расположение на карте
Пн: 09:30-13:00 14:00-18:00
Вт: 09:30-13:00 14:00-18:00
Ср: 09:30-13:00 14:00-18:00
Чт: 09:30-13:00 14:00-18:00
Вс: 09:30-13:00 14:00-18:00
 +7 (4812) 35-63-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Объединение детских библиотек, МБУК
Самарская область, Тольятти городской округ, Тольятти, Автозаводский район, 8-й квартал
Юбилейная, 81
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-12:00 12:30-16:30
Вт: 09:00-12:00 12:30-16:30
Ср: 09:00-12:00 12:30-16:30
Чт: 09:00-12:00 12:30-16:30
Пт: 09:00-12:00 12:30-16:30
child-lib.ru
Вконтакте:  https://vk.com/odb_tol https://vk.com/9filial
Инстаграм:  https://instagram.com/odb_tol
Одноклассники:  https://ok.ru/odbtol
Твиттер:  https://twitter.com/@odb_tol
Youtube:  https://youtube.com/user/odbobmi
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Рязанская область, Рязань городской округ, Рязань, Октябрьский округ, Строитель
Предзаводская, 7
Расположение на карте
санитарный день: последний день месяца
Пн: 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 (4912) 24-53-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детско-юношеская библиотека №1
Краснодарский край, Анапа городской округ, Анапа
Крымская, 83
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
anapa-dub.ucoz.ru
anapa-kraeved.ucoz.ru
Вконтакте:  https://vk.com/knigolife
 +7 (86133) 4-23-71
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9
Саратовская область, Саратов городской округ, Саратов, Октябрьский район
Аткарская, 12/14
Расположение на карте
санитарный день: последняя пт месяца; июль-август: пн, вс выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (8452) 52-26-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М. Горького
Новосибирская область, Новосибирск городской округ, Новосибирск, Калининский район, Пашино м-н
Магистральная, 7
Расположение на карте
технический день: последняя ср месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (383) 282-02-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Универсальная библиотека
Санкт-Петербург, Санкт-Петербург, Красногвардейский район, МО №34 "Малая Охта"
Заневский проспект, 28
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.kr-cbs.ru
Вконтакте:  https://vk.com/bcosovremennik
 +7 (812) 444-92-50
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека эстетического просвещения №28 им. А. Пластова
Ульяновская область, Ульяновск городской округ, Ульяновск, Заволжский район, Новый Город м-н, г. Ульяновск, Ульяновский район, Ульяновская область, Россия,
Созидателей проспект, 62
Расположение на карте
санитарный день: последняя ср месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
Вконтакте:  https://vk.com/cbsf28
Твиттер:  https://twitter.com/@cbsf28?lang=ru
 +7 (8422) 20-82-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Нижний Саянтуй
Республика Бурятия, Тарбагатайский район, с. Нижний Саянтуй
Ленина, 35
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-16:00
Вконтакте:  https://vk.com/public119313126
 +7-924-752-44-17
Показать номер
Рецензии и отзывы
Егор Петров
О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями § 7 и 10) было написано: "Совокупность значений, переданных в предикатах с помощью терминов парадигматического типа,
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека
Калужская область, Калуга городской округ, Калуга, Ленинский округ, Анненки
Вишневского, 23а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
cbs-kaluga.ru
 +7 (4842) 72-52-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №13, пос. Миловидово
Смоленская область, Смоленск городской округ, Смоленск, Ленинский район, Миловидово
Миловидово пос, 58
Расположение на карте
Пн: 09:30-13:00 14:00-18:00
Вт: 09:30-13:00 14:00-18:00
Ср: 09:30-13:00 14:00-18:00
Чт: 09:30-13:00 14:00-18:00
Вс: 09:30-13:00 14:00-18:00
 +7 (4812) 35-63-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Объединение детских библиотек, МБУК
Самарская область, Тольятти городской округ, Тольятти, Автозаводский район, 8-й квартал
Юбилейная, 81
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-12:00 12:30-16:30
Вт: 09:00-12:00 12:30-16:30
Ср: 09:00-12:00 12:30-16:30
Чт: 09:00-12:00 12:30-16:30
Пт: 09:00-12:00 12:30-16:30
child-lib.ru
Вконтакте:  https://vk.com/odb_tol https://vk.com/9filial
Инстаграм:  https://instagram.com/odb_tol
Одноклассники:  https://ok.ru/odbtol
Твиттер:  https://twitter.com/@odb_tol
Youtube:  https://youtube.com/user/odbobmi
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Рязанская область, Рязань городской округ, Рязань, Октябрьский округ, Строитель
Предзаводская, 7
Расположение на карте
санитарный день: последний день месяца
Пн: 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 (4912) 24-53-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детско-юношеская библиотека №1
Краснодарский край, Анапа городской округ, Анапа
Крымская, 83
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
anapa-dub.ucoz.ru
anapa-kraeved.ucoz.ru
Вконтакте:  https://vk.com/knigolife
 +7 (86133) 4-23-71
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9
Саратовская область, Саратов городской округ, Саратов, Октябрьский район
Аткарская, 12/14
Расположение на карте
санитарный день: последняя пт месяца; июль-август: пн, вс выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (8452) 52-26-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М. Горького
Новосибирская область, Новосибирск городской округ, Новосибирск, Калининский район, Пашино м-н
Магистральная, 7
Расположение на карте
технический день: последняя ср месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (383) 282-02-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Универсальная библиотека
Санкт-Петербург, Санкт-Петербург, Красногвардейский район, МО №34 "Малая Охта"
Заневский проспект, 28
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.kr-cbs.ru
Вконтакте:  https://vk.com/bcosovremennik
 +7 (812) 444-92-50
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека эстетического просвещения №28 им. А. Пластова
Ульяновская область, Ульяновск городской округ, Ульяновск, Заволжский район, Новый Город м-н, г. Ульяновск, Ульяновский район, Ульяновская область, Россия,
Созидателей проспект, 62
Расположение на карте
санитарный день: последняя ср месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
Вконтакте:  https://vk.com/cbsf28
Твиттер:  https://twitter.com/@cbsf28?lang=ru
 +7 (8422) 20-82-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Нижний Саянтуй
Республика Бурятия, Тарбагатайский район, с. Нижний Саянтуй
Ленина, 35
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-16:00
Вконтакте:  https://vk.com/public119313126
 +7-924-752-44-17
Показать номер
Информация от пользователей
Азат Нагирян
О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями и о реализации этого фрагмента в C++ Я получаю удовольствие от предикатной интуиционистской логики (IPL), которая является расширением логики Римана в качестве языка модальных логик и, будучи таким языком, IPL может быть достаточно гибким, чтобы быть применимой к тем же областям, что и IPL. IPL, однако, довольно сложна для понимания, и я не уверен, что это даже цель для кого-то, кто не знаком с IPL с самого начала.
Прикрепить файл
Книга находятся в категориях.