Теория логического вывода : Сб. тр.
1082
Купить
Краткое содержание:
Экранизация книги

Теория логического вывода : Сб. тр.

Автор:
Смирнов Владимир Александрович (д-р филос. наук 1931-1996)
Год:
1999
isbn:
5-8243-0046-1
Язык:
Русский;Английский
Страниц:
318
Описание:
Смирнов В. А. Теория логического вывода : [Сб. тр.] / В.А. Смирнов. - М. : РОССПЭН, 1999. - 318 с. ; 22 см. - Библиогр. науч. тр. В.А. Смирнова: с. 305-314 (151 назв.). - Библиогр. в подстроч. прим.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Вывод(лог.) → Сборники
Примечания:
Часть текста на англ. яз. . - Библиогр. науч. тр. В.А. Смирнова: с. 305-314 (151 назв.) . - Библиогр. в подстроч. прим.
Дата создания:
2020-03-03 02:09:19
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Теория логического вывода : Сб. тр.

Заказать реферат Узнать стоимость Скачать пример
Основная теорема логического вывода
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/
Irina Shoshmina
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Теория логического вывода : Сб. тр.
Опросы
Вам эта книга понравилась?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Теория логического вывода : Сб. тр.

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
6 Аксиомы и правило вывода классической логики высказываний
Vanechki: математика, биология и многое другое
AIML-2-1-4 Логический вывод
Смотрите другие видео этого курса, выполняйте упражнения и изучайте интеллектуальные системы и машинное обучение на нашем сайте!
Artificial Intelligence and Machine Learning
Лекция 3: Логический вывод – дедукция
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/13859/1256/lecture/23980.
НОУ ИНТУИТ
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Дмитриевская библиотека
Чуйская область, Ысык-Атинский район, с. Дмитриевка
Ленина, 75Б
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Акташ
Республика Алтай, Улаганский район, с. Акташ
Крайняя, 13
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №185
Москва, Москва, Котловка район
Нагорный бульвар, 3
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/dialog185
Facebook:  https://facebook.com/dialog185/dialog185
 +7 (499) 127-57-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №107
Москва, Москва, Нижегородский район
Орехово-Зуевский проезд, 22
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru
Вконтакте:  https://vk.com/lib_uvao_107
Инстаграм:  https://instagram.com/lib_uvao_107
Facebook:  https://facebook.com/libuvao107
 +7 (499) 171-03-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. М.М. Пришвина
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Ленинский район
Глеба Успенского, 17
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 10:00-17:00
Вконтакте:  https://vk.com/id214888302
 +7 (831) 258-10-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Марусинская сельская библиотека
Новосибирская область, Новосибирский район, с. Марусино
Максима Горького, 19
Расположение на карте
санитарный день: последний день месяца
Вт: 10:30-13:00 13:45-18:30
Ср: 10:30-13:00 13:45-18:30
Чт: 10:30-13:00 13:45-18:30
Пт: 10:30-13:00 13:45-18:30
Сб: 10:30-13:00 13:45-18:30
 +7-953-801-09-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Шибково
Новосибирская область, Искитимский район, д. Шибково
Береговая, 53а
Расположение на карте
Пн: 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-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8, г. Ессентуки
Ставропольский край, Ессентуки городской округ, Ессентуки
Свободы, 43
Расположение на карте
санитарный день: последний вт месяца
Пн: 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 (87934) 7-60-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №31
Ставропольский край, Минераловодский городской округ, пос. Первомайский
Комсомольская, 16
Расположение на карте
Пн: 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
 +7 (87922) 7-84-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Спартака, 11
Расположение на карте
санитарный день: последний вт месяца; зимний период: летний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 74-00-91
Показать номер
#177. ГЕОМЕТРИЯ ЛОБАЧЕВСКОГО (советский диафильм)
Перед вами диафильм 1960-го года выпуска, озвученный мной на днях. Он посвящен Николаю Ивановичу Лобачевскому, а также его неевклидовой ...
Wild Mathing Когда логический вывод "не работает"?
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/
Irina Shoshmina Fuzzy Logic Toolbox
В данном видео мы познакомимся с инструментом Fuzzy Logic Toolbox для создания систем нечеткого вывода. В качестве примера рассмотрим задачу ...
MATLABinRussia Грамотное мышление. 4.2. Логический вывод. Отсечение лишних данных.
Плейлист "Курс грамотного мышления": https://www.youtube.com/playlist?list=PLoBP9NzHS8yY6hshZ31_kBphIxi7F8DZj Обучающее сообщество ...
Блог Торвальда
Рецензии и отзывы
Егор Петров
Теория логического вывода : Сб. тр.. В данной книге описывается деятельность, организуемая искусственным интеллектом и называемая воплощением.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Дмитриевская библиотека
Чуйская область, Ысык-Атинский район, с. Дмитриевка
Ленина, 75Б
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Акташ
Республика Алтай, Улаганский район, с. Акташ
Крайняя, 13
Расположение на карте
Пн: 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
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №185
Москва, Москва, Котловка район
Нагорный бульвар, 3
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/dialog185
Facebook:  https://facebook.com/dialog185/dialog185
 +7 (499) 127-57-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №107
Москва, Москва, Нижегородский район
Орехово-Зуевский проезд, 22
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru
Вконтакте:  https://vk.com/lib_uvao_107
Инстаграм:  https://instagram.com/lib_uvao_107
Facebook:  https://facebook.com/libuvao107
 +7 (499) 171-03-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. М.М. Пришвина
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Ленинский район
Глеба Успенского, 17
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 10:00-17:00
Вконтакте:  https://vk.com/id214888302
 +7 (831) 258-10-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Марусинская сельская библиотека
Новосибирская область, Новосибирский район, с. Марусино
Максима Горького, 19
Расположение на карте
санитарный день: последний день месяца
Вт: 10:30-13:00 13:45-18:30
Ср: 10:30-13:00 13:45-18:30
Чт: 10:30-13:00 13:45-18:30
Пт: 10:30-13:00 13:45-18:30
Сб: 10:30-13:00 13:45-18:30
 +7-953-801-09-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Шибково
Новосибирская область, Искитимский район, д. Шибково
Береговая, 53а
Расположение на карте
Пн: 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-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8, г. Ессентуки
Ставропольский край, Ессентуки городской округ, Ессентуки
Свободы, 43
Расположение на карте
санитарный день: последний вт месяца
Пн: 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 (87934) 7-60-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №31
Ставропольский край, Минераловодский городской округ, пос. Первомайский
Комсомольская, 16
Расположение на карте
Пн: 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
 +7 (87922) 7-84-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Спартака, 11
Расположение на карте
санитарный день: последний вт месяца; зимний период: летний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 74-00-91
Показать номер
Информация от пользователей
Азат Нагирян
Теория логического вывода : Сб. тр.. В данной книге описывается логика, основанная на теории логического вывода (ЛПВ). В качестве математической модели, лежащей в основе ЛПВ, используется теория множеств. Рассматривается формальная система, которая может быть использована для описания логики вывода, и соответствующие процедуры вывода. Для описания этих процедур используются языки, которые могут быть описаны с помощью различных семантик. Приводится система аксиом, определяющих правила вывода в формальной системе.
Прикрепить файл
Книга находятся в категориях.