Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- Логика и компьютер. Моделирование рассуждений и ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ 5020071560. Author / Uploaded; Алешина Н.А; Анисов А.М. Быстров П.И. и др. Table ...
dokumen.pub - Алешина Н.А., Анисов А.М., Быстров П.И. Логика и компьютер ...
Алешина Н.А., Анисов А.М., Быстров П.И. Логика и компьютер. моделирование рассуждений и проверка правильности программ. Файлы · Академическая и специальная ...
www.studmed.ru - Канцтовары
Канцтовары: бумага, ручки, карандаши, тетради. Ранцы, рюкзаки, сумки. И многое другое.
my-shop.ru - Логика и компьютер. Моделирование рассуждений и ...
Моделирование рассуждений и проверка правильности программ. Автор: Анисов А.М. Выберите формат: ZIP(9,2 Mb) DJV(9,2 Mb) Онлайн. Купить бумажную книгу. Тренажер ...
www.klex.ru - моделирование рассуждений и проверка правильности программ
Алешина Н.А., Анисов А.М., Быстров П.И. Логика и компьютер: моделирование рассуждений и проверка правильности программ. Алешина Н.А., Анисов А.М., Быстров П.И.
z-lib.io - Анисов А.М.. Книги онлайн
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Раздел библиотеки: Логика. Соавтор: Алешина Н.А., Быстров П.И. и др. Логика ...
www.koob.ru - Логика и компьютер. Моделирование рассуждений и ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. 1990. 240 с. ISBN 5-02-007156-0.
urss.ru - неограниченные возможности и возможные ограничения» (серия)
* Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Н.А. Алешина и др. (1990) * Лотов А.В. Компьютер и поиск компромисса ...
publ.lib.ru - Методика структурно-параметрического представления ...
Алешина Н.А., Анисов A.M., Быстров П.И. и др. Логика и компьютер. Моделирование рассуждений и проверка правильности программ. - М.: Наука,1990.-239 с. 8 ...
www.dissercat.com - OCR форум - "Кибернетика - неограниченные возможности и ...
10 янв. 2011 г. — моделирования : [сб. ст.] Логика и компьютер: Моделирование рассуждений и проверка правильности программирования. Алешина Н. А. Наука, ...
publ.lib.ru - моделирование рассуждений и проверка правильности программ
Логика и компьютер: моделирование рассуждений и проверка правильности программ ... Natalii a Alʹbertovna Aleshina, Igorʹ Mikhaĭlovich Makarov. Publisher, Наука, ...
books.google.com - Абстрактный и структурный синтез распределенных систем ...
... том, что ... Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. ... Aleshina N. A., Anisov A. M., Bystrov P. I. Logika i komp'yuter ...
cyberleninka.ru - Компьютерное моделирование развития и результатов ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина H.A., Анисов A.M., Быстров П.И. и др. - М.: Наука, 1990. - 240 е ...
www.dissercat.com - Логика и компьютер. Моделирование рассуждений и ...
Моделирование рассуждений и проверка правильности программ. Автор: Алешина Н.А., Анисов А.М., Быстров П.И. и др. Издательство: М.: Наука Год: 1990. Формат: pdf
vtome.ru - Аксиоматический метод верификации на основе ...
Автор: АС Прокопенко · 2010 — -416 с. 8. Алешина, Н.А. Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст]/Н.А. Алешина, А.М. Анисов, П.И. Быстров.-М.: ...
cyberleninka.ru - Методика обучения доказательству правильности ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др. М.: Наука, 1990.-240 с. 90 ...
nauka-pedagogika.com - Вычислительные машины - Наука
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. – М.: Наука, 1990. – 240 с ...
science.pnzgu.ru - Компьютерное моделирование смысла - автореферат и ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, A.M.Анисов, П.И.Быстров и др. М.: Мир, 1990 - 240 с. 113 ...
cheloveknauka.com - Wanted :: Электронная библиотека попечительского совета мехмата ...
Алешина Н.А. Анисов А.М. Быстров П.И. Логика и компьютер: моделирование рассуждений и проверка правильности программ, 1990. Алешина Н.А. Анисов А.М. Быстров П.И ...
lib.mexmat.ru - КЛЮЧЕВЫЕ СЛОВА: "логика" - Библиотека ТУСУРа
Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.] ; ред. Е. Д. Смирнова ; Академия наук СССР. - М ...
lib.tusur.ru - Научно-технические ведомости СПбГПУ
... моделирование: методы, алгоритмы, технологии ... Проверка сохранения фрактальных свойств для ... рассуждений, на выходе фильтра сфор- мируется сигнал S1 m–1(t) ...
infocom.spbstu.ru - Студенческая наука электронные книги в ЭБС Университетская ...
Электронные книги раздела Студенческая наука в Университетской Библиотеке Онлайн. Доступ для организаций онлайн и в мобильном приложении.
biblioclub.ru - Расторгуев С.П. Информационная война. ЧАСТЬ ПЯТАЯ
[23] «Логика и компьютер. Моделирование рассуждений и проверка правильности работы программ»./Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. – М.: Наука ...
evartist.narod.ru - Автореферат диссертации по теме "Компетентностный подход к ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, A.M. Анисов, П.И. Быстров и др. М.: Наука, 1990. - 240 с. 83 ...
nauka-pedagogika.com - СОДЕРЖАНИЕ
модели вычислений будет заключаться в том ... Логика и компьютер. Моделирование рассуждений и проверка правильности про- ... Aleshina N. A., Anisov A. M., Bystrov ...
izvuz_tn.pnzgu.ru - Алешин: search on Z-Library
... проверка правильности программ. Алешина Н.А., Анисов А.М., Быстров П.И. Downloaded. Логика и компьютер: моделирование рассуждений и проверка правильности ...
zlibrary-asia.se - Расторгуев С.П. Информационная война
«Логика и компьютер. Моделирование рассуждений и проверка правильности работы программ» / Н.А. Алешина, А.М.Анисов, П-И-Быстров и др.- М.: Наука, 1990 г.
sprotyvg7.com.ua - Философия и наука: проблемы соотнесения - ИСТИНА
... Анисов А.М. Как возможна научная философия ... логика в работах Э. Гуссерля. 1887–1891 гг ... программ» в качестве ядра «метафизические положения» [8, с. 79–80] ...
istina.msu.ru - КЛЮЧЕВЫЕ СЛОВА: "компьютеры" - Библиотека ТУСУРа
... pdf или скачать. Имеются ... - (Настольная книга пользователя ПК). - Б. ц ... Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н.
lib.tusur.ru - Моделирование рассуждений и проверка правильности программ
Логика и компьютер: Моделирование рассуждений и проверка правильности программ · Dentro del libro · Contenido · Términos y frases comunes · Información ...
books.google.co.cr - Тысяча и один самый кассовый советский фильм: мнения ...
9 дек. 2023 г. — В результате получилась моя самая большая по объему книга, которую я и выношу на суд читательской аудитории. Надеюсь, что материал данной книги ...
www.kino-teatr.ru - Развитие теоретических основ и методов функционально ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. — М.: Наука. 240 с. 83 ...
tekhnosfera.com - Александр Федоров Тысяча и один самый кассовый советский фильм
... книга, которую я и выношу на суд читательской ... логика, ибо еще Н.А. Бердяев совершенно ... Проверка на дорогах. 1971/1986. Алексей Герман. 9,0. Прошу слова ...
ifap.ru
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 33 результата(ов).