Логика и компьютер

Main
Languages - General & Miscellaneous Languages - Reference
Логика и компьютер

Логика и компьютер

Алешина Н.А., Анисов А.М., Быстров П.И., и др.

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Languages - General & Miscellaneous Languages - Reference

Jahr:

1990

Verlag:

Наука

Sprache:

russian

Seiten:

241

ISBN 10:

5020071560

ISBN 13:

9785020071568

Serien:

Seriia Kibernetika, neogranichennye vozmozhnosti i vozmozhnye ogranicheniia Russian Edition

Datei:

DJVU, 5.50 MB

IPFS:

,

russian, 1990

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

Douglas P. Adams — Nomography Theory and Application

Бертрам Д.Г. (Доктор Купер) — История розги

Е.В. Гутнова — Классовая борьба и общественное сознание крестьянства в средневековой Западной Европе (XI-XV вв.).

М. Антонович — Історія України. Том 1

З.В. Анчабадзе — Из истории средневековой Абхазии (VI-XVII вв.).

Тихомиров Лев Александрович — Христианство и политика

Б.А. Тулепбаев (редактор) — Вопросы историографии Казахстана.

К.А. Пищулина — Юго-Восточный Казахстан в середине XIV - начале XVI вв.

Н.П. Ерошкин — История государственных учреждений дореволюционной России.

Д.М. Исхаков — Введение в историю Сибирского ханства.

Ирек Муртазин — Минтимер Шаймиев: последний президент Татарстана

Ставицкий В.В., Бухтоярова И.М. и др. — Археология Восточноевропейской лесостепи. Вып. 2. Том 1.

Ф. Маликов — Февральская буржуазно-демократическая революция в Казахстане.

Hilton Matt — Dead_s men dust

Токмаков И.Ф. — Историческое описание Московского Никитского монастыря

Бондаренко Борис Егорович — Час девятый

Коллектив авторов — Геология и нефтегазоносность Енисей-Хатангского бассейна

Дилевская Е.В. — Криогенные микротеплообменники

Вахрамеев В.А., Ильина В.И., Калачева Е.Д., Крымгольц Г.Я. — Зоны юрской системы в СССР

Каплан М.Е., Меледина С.В., Шурыгин Б.Н. — Келловейские моря Севера Сибири (условия осадконакопления и существования фауны)

Касумзаде А.А. — Состояние изученности триасовых отложений Азербайджана и проблемы границы перми и триаса

Химшиашвили Н.Г. — Позднеюрская фауна моллюсков Крымско-Кавказской области

Химшиашвили Н.Г. — Позднеюрская фауна моллюсков Крымско-Кавказской области

Химшиашвили Н.Г. — Аммоноидеи титона и берриаса Кавказа

Бондаренко Борис Егорович — Ищите Солнце в глухую полночь

Клюге Н.Ю. — Принципы систематики живых организмов. Учебное пособие

Adams Will — The Lost Labyrinth

Котетишвили Э.В. — Альбская фауна Грузии (аммониты и двустворчатые)

— Бюллетень Межведомственного стратиграфического комитета. Вып. 4.

— Постановления Межведомственного стратиграфического комитета и его постоянных комиссий. Вып. 15

— Постановления межведомственного стратиграфического комитета и его постоянных комиссий. Вып. 17

— Постановления Межведомственного стратиграфического комитета и его постоянных комиссий. Вып. 22

— Постановления межведомственного стратиграфического комитета и его постоянных комиссий. Вып. 25

— Джон фон Нейман

Ал-Бируни А. — Собрание сведений для познания драгоценностей (Минералогия)

Murray T. Bloom — O homem que roubou Portugal

Андреева Т. — Словарь-минимум

Андреева Т. — Наука

Андрианов И.В., Лесничая В.А., Маневич Л.И. — Метод усреднения в статике и динамике ребристых оболочек

Ангилейко И.М., Козлова Р.В. — Задачи по теории функций комплексной переменной

Рэндалл Рона — Надменный герцог

James Kaplan — Sinatra , O Chefão

Am meisten angefragte Begriffe

программы

программ

программа

множество

исчисления

правильности

множества

рассуждений

допущение

утверждение

доказательство

значения

программирования

доказательства

предикатов

качестве

логические

выполнения

использовать

переменной

переменных

рассуждения

доказать

логического

относительно

построить

секвенции

являются

введения