Логика и компьютер : Моделирование рассуждений и проверка правильности прогр
2146
Купить
Краткое содержание:
Экранизация книги

Логика и компьютер : Моделирование рассуждений и проверка правильности прогр

Автор:
Алешина Наталия Альбертовна
Год:
1990
isbn:
5-02-007156-0
Язык:
Русский
Заглавие серии:
Серия "Кибернетика - неограниченные возможности и возможные ограничения"
Описание:
Алешина Н.А., Наталия Альбертовна Логика и компьютер : Моделирование рассуждений и проверка правильности прогр / [Н.А. Алешина, А.М. Анисов, П.И. Быстров и др.; Науч. ред. Е.Д. Смирнова Авт. предисл. И.М. Макаров] АН СССР. - М. : Наука, 1990. - 238, [1] с. : ил. ; 20 см. - (Серия "Кибернетика - неограниченные возможности и возможные ограничения"). - Библиогр.: с. 231-235 (52 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Авт. указаны на обороте тит. л. . - Библиогр.: с. 231-235 (52 назв.)
Другие ответственные лица:
Смирнова, Елена Дмитриевна → Редактор
Дата создания:
2020-09-30 15:23:18
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Логика и компьютер : Моделирование рассуждений и проверка правильности прогр

Заказать реферат Узнать стоимость Скачать пример
02-02. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Виноградова С.Н.
НАУЧНОМУ СООБЩЕСТВУ ПРЕДЛОЖЕНА ИННОВАЦИОННАЯ МЕТОДОЛОГИЯ РАСЧЁТА СИЛЛОГИЗМОВ, основанная на принципах работы ...
Владислав Масликов
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Логика и компьютер : Моделирование рассуждений и проверка правильности прогр
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Логика и компьютер : Моделирование рассуждений и проверка правильности прогр

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
[Коллоквиум]: Линейная логика и функциональное программирование
Долкадчик: Степан Кузнецов (МИАН/НИУ ВШЭ) Линейная логика (Жирар, 1987) — это система, в которой логические формулы воспринимаются не как ...
ФКН ВШЭ
02-09. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ЛОГИКА ДЛЯ ЮРИСТОВ» Ивлева Ю.В. (2019 г.)
НАУЧНОМУ СООБЩЕСТВУ ПРЕДЛОЖЕНА ИННОВАЦИОННАЯ МЕТОДОЛОГИЯ РАСЧЁТА СИЛЛОГИЗМОВ, основанная на принципах работы ...
Владислав Масликов
Лекция 12: Правила логических умозаключений. Модусы. (Часть 2)
Правило введения импликации. Правило приведения к абсурду. Правила контрапозиции и расширенной контрапозиции. Правила объединения и ...
НОУ ИНТУИТ
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. І. Кудрі
Киев город со специальным статусом, Київ, Печерський район, Печерськ
Генерала Алмазова, 14
санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
 +380 (44) 285-25-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная медицинская библиотека, МГМУ им. И.М. Сеченова
Москва, Москва, Черёмушки район
Нахимовский проспект, 49
санитарный день: последний рабочий день месяца
Пн: 12:00-20:00
Вт: 10:00-18:00
Ср: 12:00-20:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.scsml.rssi.ru
 +7 (499) 128-33-46 +7 (499) 120-21-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Одинцовский городской библиотечно-информационный центр
Московская область, Одинцовский район, Одинцово, 3-й м-н
Любы Новоселовой бульвар, 5
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.ogbic.ru
 +7 (495) 599-71-53
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Архангельская областная научная библиотека им. Н.А. Добролюбова
Архангельская область, Архангельск городской округ, Архангельск, Октябрьский округ
Логинова, 2
санитарный день: первая ср месяца; выдача документов: пт 10:00-18:00
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.aonb.ru
Вконтакте:  https://vk.com/dobrolubovka
Инстаграм:  https://instagram.com/dobrolubovka
Facebook:  https://facebook.com/arhlib
Твиттер:  https://twitter.com/@dobrolubovka
Youtube:  https://youtube.com/user/Dobrolubovka
 +7 (8182) 21-59-61 +7 (8182) 65-11-28 +7 (8182) 21-58-67 +7 (8182) 20-74-54 +7 (8182) 65-20-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Архангельская область, Архангельск городской округ, Архангельск, Варавино-Фактория округ, Варавино
Ленинградский проспект, 269 к1
санитарный день: последний чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
Вс: 12:00-18:00
arhlib.ru/vsyo-o-tsbs/biblioteki/biblioteka-10-varavino-faktoriya
 +7 (8182) 62-09-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №32
Республика Башкортостан, Уфа городской округ, Уфа, Калининский район, Инорс
Ферина, 14
зимний период: вт-сб 9:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
32.ufa-lib.ru
Вконтакте:  https://vk.com/ufa_bibl_32
 +7 (347) 216-48-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, МЦБС им. М.Ю. Лермонтова
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №5 "Измайловское"
Красноармейская 4-я, 13
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-18:00
lermontovka-spb.ru
Вконтакте:  https://vk.com/lermontovkaspb
Инстаграм:  https://instagram.com/kidsbiblio
Твиттер:  https://twitter.com/@lermontovka
 +7 (812) 316-68-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7, Фрунзенский район
Санкт-Петербург, Санкт-Петербург, Фрунзенский район, МО №75
Ярослава Гашека, 26 к1
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
Вконтакте:  https://vk.com/slavynka7
 +7 (812) 778-76-45 +7 (812) 778-53-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новоульяновская городская библиотека
Ульяновская область, Новоульяновск городской округ, Новоульяновск
Мира, 10
Пн: 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 (84255) 7-17-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.В. Маяковского
Омская область, Омск городской округ, Омск, Ленинский округ, Московка
Батумская, 30
санитарный день: последний день месяца; зимний период: пн-пт 9:00-18:00; вс 10:00-17:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.lib.omsk.ru
Вконтакте:  https://vk.com/lovebooks
Youtube:  https://youtube.com/user/OMB19761
 +7 (3812) 42-63-27
Показать номер
Дисциплина: Математическое моделирование технических объектов
Дисциплина: Математическое моделирование технических объектов. Преподаватель: Носов Евгений Юрьевич.
ОмГТУ «Игровая заниматика» - игры и упражнения на развитие предпосылок логического мышления
Тема: "Игровая заниматика" - игры и упражнения на развитие предпосылок логического мышления Ведущие: Ошкина Ольга Николаевна Заведующий ...
Вебинары. Корпорация Российский учебник Компьютерные технологии в медико — биологической практике 2 Галимянов Ф.А.
Факультет дизайна и программной инженерии КНИТУ Лекция 1: Проблемы теории искусственного интеллекта
Национальный Открытый Университет "ИНТУИТ" (http://www.intuit.ru/). Курс: Мышление, вычисления и искусственный интеллект для школьников ...
НОУ ИНТУИТ
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. І. Кудрі
Киев город со специальным статусом, Київ, Печерський район, Печерськ
Генерала Алмазова, 14
санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-18:00
 +380 (44) 285-25-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная медицинская библиотека, МГМУ им. И.М. Сеченова
Москва, Москва, Черёмушки район
Нахимовский проспект, 49
санитарный день: последний рабочий день месяца
Пн: 12:00-20:00
Вт: 10:00-18:00
Ср: 12:00-20:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.scsml.rssi.ru
 +7 (499) 128-33-46 +7 (499) 120-21-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Одинцовский городской библиотечно-информационный центр
Московская область, Одинцовский район, Одинцово, 3-й м-н
Любы Новоселовой бульвар, 5
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.ogbic.ru
 +7 (495) 599-71-53
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Архангельская областная научная библиотека им. Н.А. Добролюбова
Архангельская область, Архангельск городской округ, Архангельск, Октябрьский округ
Логинова, 2
санитарный день: первая ср месяца; выдача документов: пт 10:00-18:00
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.aonb.ru
Вконтакте:  https://vk.com/dobrolubovka
Инстаграм:  https://instagram.com/dobrolubovka
Facebook:  https://facebook.com/arhlib
Твиттер:  https://twitter.com/@dobrolubovka
Youtube:  https://youtube.com/user/Dobrolubovka
 +7 (8182) 21-59-61 +7 (8182) 65-11-28 +7 (8182) 21-58-67 +7 (8182) 20-74-54 +7 (8182) 65-20-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №10
Архангельская область, Архангельск городской округ, Архангельск, Варавино-Фактория округ, Варавино
Ленинградский проспект, 269 к1
санитарный день: последний чт месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
Вс: 12:00-18:00
arhlib.ru/vsyo-o-tsbs/biblioteki/biblioteka-10-varavino-faktoriya
 +7 (8182) 62-09-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №32
Республика Башкортостан, Уфа городской округ, Уфа, Калининский район, Инорс
Ферина, 14
зимний период: вт-сб 9:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
32.ufa-lib.ru
Вконтакте:  https://vk.com/ufa_bibl_32
 +7 (347) 216-48-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, МЦБС им. М.Ю. Лермонтова
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №5 "Измайловское"
Красноармейская 4-я, 13
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-18:00
lermontovka-spb.ru
Вконтакте:  https://vk.com/lermontovkaspb
Инстаграм:  https://instagram.com/kidsbiblio
Твиттер:  https://twitter.com/@lermontovka
 +7 (812) 316-68-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7, Фрунзенский район
Санкт-Петербург, Санкт-Петербург, Фрунзенский район, МО №75
Ярослава Гашека, 26 к1
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
Вконтакте:  https://vk.com/slavynka7
 +7 (812) 778-76-45 +7 (812) 778-53-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новоульяновская городская библиотека
Ульяновская область, Новоульяновск городской округ, Новоульяновск
Мира, 10
Пн: 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 (84255) 7-17-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. В.В. Маяковского
Омская область, Омск городской округ, Омск, Ленинский округ, Московка
Батумская, 30
санитарный день: последний день месяца; зимний период: пн-пт 9:00-18:00; вс 10:00-17:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.lib.omsk.ru
Вконтакте:  https://vk.com/lovebooks
Youtube:  https://youtube.com/user/OMB19761
 +7 (3812) 42-63-27
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.