Алгебраические и алгоритмические свойства логических исчислений. Ч. 1
873
Купить
Краткое содержание:
Экранизация книги

Алгебраические и алгоритмические свойства логических исчислений. Ч. 1

Год:
2009
isbn:
978-5-91650-016-5
Язык:
Русский
Описание:
Алгебраические и алгоритмические свойства логических исчислений. Ч. 1:. - 2009. - 225 c. : ил. - Библиогр.: с. 223 (20 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 223 (20 назв.)
Дата создания:
2020-01-12 09:23:41
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Алгебраические и алгоритмические свойства логических исчислений. Ч. 1

Заказать реферат Узнать стоимость Скачать пример
Основные алгоритмические конструкции | Информатика 8 класс #20 | Инфоурок
Видеоуроки являются идеальными помощниками при изучении новых тем, закреплении материала, для обычных и факультативных занятий, для ...
ИНФОУРОК
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Алгебраические и алгоритмические свойства логических исчислений. Ч. 1
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Алгебраические и алгоритмические свойства логических исчислений. Ч. 1

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Дональд Кнут. Глава 1. Основные понятия. 1.1 Алгоритмы. «Искусство программирования». (Часть 1)
Александр Шевчук в данном видео рассмотрит первый раздел первой главы "Основные понятия" первого тома "Основные алгоритмы" книги "Искусство ...
ITVDN
Лекция 1, часть 1 | Десятая проблема Гильберта. Решение и применения в информатике | Лекториум
Лекция 1, часть 1 | Курс: Десятая проблема Гильберта. Решение и применения в информатике | Лектор: Юрий Матиясевич | Организатор: Computer ...
Лекториум
Илья Мещерин: Теорема Чёрча
В Кочерге продолжается цикл семинаров по теории алгоритмов — науке, которая является свзующим звеном между программированием и абстрактной ...
Кочерга
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека Пушкинского муниципального района, МБУК
Московская область, Пушкинский район, Пушкино
Фабричный 1-й проезд, 5а
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
bibliopushkino.ru
 +7 (496) 532-07-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №235
Москва, Москва, Хорошёво-Мнёвники район
Демьяна Бедного, 16
Расположение на карте
санитарный день: первое вс месяца
Вт: 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 (499) 197-36-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8, г. Мытищи
Московская область, Мытищи городской округ, Мытищи, 37-й м-н
Щёлковский 2-й проезд, 7
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
maukbic.ru
 +7 (495) 583-23-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Ф.М. Достоевского
Ярославская область, Ярославский район, Ярославль, Фрунзенский район, Дядьково
Театральная, 21
Расположение на карте
зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 10:00-18:00
clib.yar.ru
Facebook:  https://facebook.com/profile.php?id=100005543711083
 +7 (4852) 48-81-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск
Пархоменко, 3а
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 34-79-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №21
Челябинская область, Златоустовский городской округ, Златоуст, Машзавод ж/м
Максима Горького, 2Б
Расположение на карте
зимний период: пн-сб 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/id309789978
Одноклассники:  https://ok.ru/profile/566464715332
 +7 (3513) 66-65-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека правовой и экономической информации, Московский район
Санкт-Петербург, Санкт-Петербург, Московский район, МО №44 "Московская застава"
Благодатная, 20
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
www.cbs-msk.ru/4f.html
Вконтакте:  https://vk.com/blagodatnaya20
Инстаграм:  https://instagram.com/blagodatnaya20
Facebook:  https://facebook.com/groups/1704378279827836/?ref=bookmarks
 +7 (812) 242-35-78
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3, г. Железноводск
Ставропольский край, Железноводск городской округ, Железноводск, Иноземцево пос
Колхозная, 68
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-12:30 13:00-17:00
Вт: 10:00-12:30 13:00-17:00
Ср: 10:00-12:30 13:00-17:00
Чт: 10:00-12:30 13:00-17:00
Пт: 10:00-12:30 13:00-17:00
Сб: 10:00-12:30 13:00-17:00
 +7 (87932) 5-90-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Краснослободская городская библиотека
Волгоградская область, Среднеахтубинский район, Краснослободск
Октябрьская, 22
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
 +7 (84479) 6-16-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская централизованная библиотечная система
Ставропольский край, Ставрополь городской округ, Ставрополь, Ленинский район, 8-й микрорайон
Пушкина, 67Б
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00
www.stav-cbs.ru
Facebook:  https://facebook.com/350511671813258
 +7 (8652) 24-02-36
Показать номер
Вычислительная математика. Лекция 1. Введение в вычислительную математику
1. Роль и место вычислительной математики в системе математических дисциплин и в использовании ЭВМ в различных сферах человеческой ...
Образование для всех Непрерывная комбинаторика | Александр Разборов | Лекториум
Лекция: Непрерывная комбинаторика | Лектор: Александр Разборов | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это ...
Лекториум Шень Александр. VC размерность и теорема Вапника - Червоненкиса (20.04.2020)
Предполагается неформальное обсуждение разных вопросов, связанных с "машинным обучением" и т.п. В частности, будет рассказано ...
Kolmogorov-Seminar-Moscow Лекция 1: Проблемы теории искусственного интеллекта
Национальный Открытый Университет "ИНТУИТ" (http://www.intuit.ru/). Курс: Мышление, вычисления и искусственный интеллект для школьников ...
НОУ ИНТУИТ
Рецензии и отзывы
Егор Петров
Алгебраические и алгоритмические свойства логических исчислений. Ч. 1. В книге говорится об общих чертах индукции.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая библиотека Пушкинского муниципального района, МБУК
Московская область, Пушкинский район, Пушкино
Фабричный 1-й проезд, 5а
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
bibliopushkino.ru
 +7 (496) 532-07-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №235
Москва, Москва, Хорошёво-Мнёвники район
Демьяна Бедного, 16
Расположение на карте
санитарный день: первое вс месяца
Вт: 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 (499) 197-36-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8, г. Мытищи
Московская область, Мытищи городской округ, Мытищи, 37-й м-н
Щёлковский 2-й проезд, 7
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
maukbic.ru
 +7 (495) 583-23-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Ф.М. Достоевского
Ярославская область, Ярославский район, Ярославль, Фрунзенский район, Дядьково
Театральная, 21
Расположение на карте
зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 10:00-18:00
clib.yar.ru
Facebook:  https://facebook.com/profile.php?id=100005543711083
 +7 (4852) 48-81-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск
Пархоменко, 3а
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 34-79-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №21
Челябинская область, Златоустовский городской округ, Златоуст, Машзавод ж/м
Максима Горького, 2Б
Расположение на карте
зимний период: пн-сб 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/id309789978
Одноклассники:  https://ok.ru/profile/566464715332
 +7 (3513) 66-65-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека правовой и экономической информации, Московский район
Санкт-Петербург, Санкт-Петербург, Московский район, МО №44 "Московская застава"
Благодатная, 20
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
www.cbs-msk.ru/4f.html
Вконтакте:  https://vk.com/blagodatnaya20
Инстаграм:  https://instagram.com/blagodatnaya20
Facebook:  https://facebook.com/groups/1704378279827836/?ref=bookmarks
 +7 (812) 242-35-78
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3, г. Железноводск
Ставропольский край, Железноводск городской округ, Железноводск, Иноземцево пос
Колхозная, 68
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-12:30 13:00-17:00
Вт: 10:00-12:30 13:00-17:00
Ср: 10:00-12:30 13:00-17:00
Чт: 10:00-12:30 13:00-17:00
Пт: 10:00-12:30 13:00-17:00
Сб: 10:00-12:30 13:00-17:00
 +7 (87932) 5-90-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Краснослободская городская библиотека
Волгоградская область, Среднеахтубинский район, Краснослободск
Октябрьская, 22
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
 +7 (84479) 6-16-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская централизованная библиотечная система
Ставропольский край, Ставрополь городской округ, Ставрополь, Ленинский район, 8-й микрорайон
Пушкина, 67Б
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00
www.stav-cbs.ru
Facebook:  https://facebook.com/350511671813258
 +7 (8652) 24-02-36
Показать номер
Информация от пользователей
Азат Нагирян
Алгебраические и алгоритмические свойства логических исчислений. Ч. 1. В книге говорится о логическом языке и о теории рассуждений, построенной на этом языке. Книга содержит введение в теорию доказательств. Первая часть — «Алгебраические свойства логических исчислений» — посвящена основным алгебраические свойствам логических исчислений, т. е. вычислению выражений, представляющих логические схемы, и вычислению выражений в логических схемах, а также вычислению в схемах высказываний.
Прикрепить файл
Книга находятся в категориях.