Найденные материалы, документы, бумажные и электронные книги и файлы:
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Search results:
- Логика и компьютер. Моделирование рассуждений и ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Автор: Анисов А.М. | Логика. Выберите формат: ZIP(9,2 Mb) DJV(9,2 Mb) Онлайн.
www.klex.ru - Логика и компьютер. Моделирование рассуждений и ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ 5020071560 · Author / Uploaded · Алешина Н.А · Анисов А.М. · Быстров П.И. и др.
dokumen.pub - Канцтовары
Канцтовары: бумага, ручки, карандаши, тетради. Ранцы, рюкзаки, сумки. И многое другое.
my-shop.ru - Логика и компьютер: моделирование рассуждений и ...
Алешина Н.А., Анисов А.М., Быстров П.И. Логика и компьютер: моделирование рассуждений и проверка правильности программ. Алешина Н.А., Анисов А.М., Быстров П.И.
z-lib.io - Анисов А.М.. Книги онлайн
Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Раздел библиотеки: Логика. Соавтор: Алешина Н.А., Быстров П.И. и др. Логика ...
www.koob.ru - " Алешина Л.А." скачать бесплатно. Электронная ...
Логика и компьютер: моделирование рассуждений и проверка правильности программ · Алешина Н.А., Анисов А.М., Быстров П.И. Категория: Computer science, AI ...
libcats.org - "Алешин А." скачать бесплатно. Электронная библиотека. ...
Логика и компьютер: моделирование рассуждений и проверка правильности программ · Алешина Н.А., Анисов А.М., Быстров П.И. Категория: Computer science, AI ...
en.libcats.org - «Кибернетика - неограниченные возможности и ...
* Логика и компьютер. Моделирование рассуждений и проверка правильности программ. Н.А. Алешина и др. (1990) * Лотов А.В. Компьютер и поиск компромисса ...
publ.lib.ru - Библиотека ТУСУРа - Томский государственный университет ...
Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.] ; ред. Е. Д. Смирнова ; Академия наук СССР. - М ...
lib.tusur.ru - OCR форум - "Кибернетика - неограниченные ...
10 янв. 2011 г. — моделирования : [сб. ст.] Логика и компьютер: Моделирование рассуждений и проверка правильности программирования. Алешина Н. А. Наука, ...
publ.lib.ru - Логика и компьютер: Моделирование рассуждений и ...
Логика и компьютер: Моделирование рассуждений и проверка правильности программ. Front Cover. Наука, 1990 - Computer programming - 238 pages ...
books.google.com - Компьютерное моделирование смысла: Философско ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, A.M.Анисов, П.И.Быстров и др. ... Логистика: Справочная книга по ...
www.dissercat.com - Использование системного подхода при обучении ...
Автор: ЕА Макарова · 2005 · Цитируется: 1 — Алешина Н.А., Анисов А.М., Быстров П.И. и др. Логика и компьютер. Моделирование рассуждений и проверка правильности программ. - М.: Наука, 1990. - 240 с. 4 ...
cyberleninka.ru - BOOKS/RU\SPSTU\books\164150
Логика и компьютер: моделирование рассуждений и проверка правильности программ / [Н. А. Алешина [и др.]] ; Академия наук СССР; редкол.: И. М. Макаров (пред ...
ruslan.library.spbstu.ru - Компьютерное моделирование развития и результатов ...
- Книга 1. -320 е.: ил. 2 ... Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина H.A., Анисов A.M., Быстров П.И.
www.dissercat.com - Метод резолюций и аристотелевская силлогистика в ...
Автор: СФ Тюрин · 2005 · Цитируется: 4 — 72-73, 120-123. 3. Алешина Н.А., Анисов А.М., Быстров П.И. и др. Логика и компьютер. Моделирование рассуждений и проверка правильности программ. - М.: Наука ...
cyberleninka.ru - Wanted :: Электронная библиотека попечительского ...
Алешина Н.А. Анисов А.М. Быстров П.И. Логика и компьютер: моделирование рассуждений и проверка правильности программ, 1990. Алешина Н.А. Анисов А.М. Быстров П.И ...
lib.mexmat.ru - Методика обучения доказательству правильности ...
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др. М.: Наука, 1990.-240 с. 90 ...
nauka-pedagogika.com - Расторгуев С.П. Информационная война. ЧАСТЬ ПЯТАЯ
[23] «Логика и компьютер. Моделирование рассуждений и проверка правильности работы программ»./Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. – М.: Наука ...
evartist.narod.ru - Расчеты шестилучевой дифракции упругих волн в слое ...
Расчеты шестилучевой дифракции упругих волн в слое индия : магистерская диссертация: студенческая научная работа Шахов А. Н. электронная книга для чтения ...
biblioclub.ru - Криминалистическое исследование письменной речи с ...
Алешина Н.А., Анисов A.M. Быстров П.И. и др. Логика икомпьютер. Моделирование рассуждений и проверка правильности программ.- М.: Наука. 1990.- 240 с. 11 ...
lawtheses.com - Научно-технические ведомости СПбГПУ
... моделирование: методы, алгоритмы, технологии. Матвеев А.В., Иванов М.В., Шевченко А.Б. Аналитическая модель системы управления пожарной безопасностью АЭС ...
infocom.spbstu.ru - Информационная война
... программ 124. Глава 24. Моделирование процесса целеобразования 126. 24.1 ... Логика вопросов и защита от них (проблема соответствия воздействия состоянию ...
777russia.ru - Компьютерное моделирование смысла
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, A.M.Анисов, П.И.Быстров и др. ... Логистика: Справочная книга по ...
cheloveknauka.com - Философия и наука: проблемы соотнесения
Автор: АА Шиян · 2016 — ... Анисов А.М. Как возможна научная философия ... логика в работах Э. Гуссерля. 1887–1891 гг ...
www.rsuh.ru - КЛЮЧЕВЫЕ СЛОВА: "логика" - Библиотека ТУСУРа
Проектирование экспериментальных электронных курсов онлайн-обучения ... Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н.
lib.tusur.ru - СОДЕРЖАНИЕ
Логика и компьютер. Моделирование рассуждений и проверка правильности про- грамм / Н. А. Алешина, А. М. Анисов, П. И. Быстров. – М. : Наука, 1990. – 240 с ...
izvuz_tn_eng.pnzgu.ru - РОССИЙСКОГО ФИЛОСОФСКОГО ОБЩЕСТВА 3 (67) 2013
Ссылка на книгу, в онлайн-магазине www.Ljubljuknigi.ru. НОВЫЕ КНИГИ ПО ... Книга мудрых мыслей: Отвергнуть миф, утвердить разум: Сб. цитат и афо ...
www.dialog21.ru - Тысяча и один самый кассовый советский фильм
9 дек. 2023 г. — В результате получилась моя самая большая по объему книга, которую я и выношу на суд читательской аудитории. Надеюсь, что материал данной книги ...
www.kino-teatr.ru - Компетентностный подход к формированию логической ...
-160 с. 82. Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, A.M. Анисов, П.И. Быстров и др. М.: Наука, 1990 ...
nauka-pedagogika.com - Тысяча и один самый кассовый советский фильм
... логика, ибо еще Н.А. Бердяев совершенно справедливо писал, что «массам, не ... Проверка на дорогах. 1971/1986. Алексей Герман. 9,0. Прошу слова. 1976 ...
ifap.ru - Журнал "Самиздат": А
С декабря 2013-го пишу продолжение "Мятежника" - Книгу 3-я "Мятежник. Под печатью забвения".Сентябрь 2016 года. Выложена первая часть ("Пролог" и десять глав) - ...
samlib.ru - ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
... моделирование [3] позволяет ему создать модель воз- можного течения поединка, а модель функционального ресурса организма – оценить изменение функциональ ...
national-science.ru
На данной странице Вы можете найти лучшие результаты поиска для чтения, скачивания и покупки на интернет сайтах материалов, документов, бумажных и электронных книг и файлов похожих на материал «Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990»
Для формирования результатов поиска документов использованы сервисы поиска по поисковым системам.
Показаны первые 33 результата(ов).