www.bookin.org.ru Книги Интернет магазин +79015461416

    есть на складе           
Салаты сборник рецептов

 Логика и компьютер. Выпуск 5. Пусть докажет компьютер
Наименование:

Логика и компьютер. Выпуск 5. Пусть докажет компьютер

автор Болотов А.Т. издательство Наука Логика сознания и ее формы
Cтраниц 208        твердый переплет       
Аннотация:Относительно этих алгоритмов доказываются метатеоремы об их непротиворечивости и полноте. В ней предлагаются построенные авторами алгоритмы поиска доказательства для натуральных исчислений классической и интуиционистской логик высказываний, а также для натурального первопорядкового исчисления предикатов. Книга посвящена рассмотрению проблемы автоматического поиска теорем для классической и интуиционистской логик. Для логиков, специалистов, занимающихся проблемами искусственного интеллекта.
Автор: Болотов А.Т.
Издательство: Наука
Год:2004
Цена:
4 руб
Нет в наличии
Поиск: Логика и компьютер. Выпуск 5. Пусть докажет компьютер
НОВЫЙ ГОД СИМВОЛ 2013 ГОДАУКРАШЕНИЯ
КАРНАВАЛ НА НОВЫЙ ГОД РАСПРОДАЖА
Ортомолекулярная медицина Orthomol Устрание причин заболеваний. Ортомоль это новый метод для лечения и профилактики болезней. Orthomol - ортомолекулярная медицина.
Особенности конструктивного исполнения и функционального применения персональных...

К этим электронным схемам подводится электропитание из единого блока питания, а для удобства и надежности все это заключается в общий металлический или пластмассовый корпус - системный блок. Обычно персональные компьютеры состоят из трех блоков: системного блока; клавиатуры, позволяющей вводить символы в компьютер; монитора (или дисплея) - для изображения текстовой и графической информации. Компьютеры выпускаются также в портативном варианте - в “наколенном” (лэптор) или “блокнотном” (ноутбук) исполнении. Хотя из этих частей компьютера системный блок выглядит наименее эффектно, именно он является в компьютере “главным”. В нем располагаются все основные узлы компьютера: - электронные схемы, управляющие работой компьютера (микропроцессор, оперативная память, контроллеры устройств и т.д.); - блок питания, преобразующий электропитание сети в постоянный ток низкого напряжения, подаваемый на электронные схемы компьютера; - накопители (или дисководы) для гибких магнитных дисков, используемые для чтения и записи на гибкие магнитные диски (дискеты); - накопитель на жестком магнитном диске, предназначенный для чтения и записи на несъемный жесткий магнитный диск (винчестер).
Набор для составления букета из мягких игрушек "LOVE", 3 зайки.
Яркий и нестандартный подарок - букет из мягких игрушек вызовет восторг у всех, независимо от возраста и положения. К тому же, этот букет
496 руб
Раздел: Дизайнерские игрушки
Именная кружка с надписью "Любимая бабушка".
Предлагаем вашему вниманию готовое решения для подарка по любому поводу – именная кружка. Кружка изготовлена из керамики, в нежной
434 руб
Раздел: Кружки
Ящик с крышкой Darel Box на колесах, 61x40x31 см.
Универсальные и герметичные боксы идеально подходят для хранения меха, одежды и домашнего текстиля. Герметичность конструкции обеспечивает
652 руб
Раздел: Более 10 литров
Книжный магазин bookin.org.ruРоман - 416 с. {Вне закона} Волчья логика:
Застрелена сотрудница крупного концерна. Давыдов В.М. (Давыдовский В.М., Сухоцкая Т.И.) М:Эксмо  
73 руб
Книжный магазин bookin.org.ruЖенская логика (пер. с англ. Биневой Е.) - 384 с. {Лучшие романы о любви} ISBN 5-699-01371-7 ~92.11.15 140
Хеллер Дж. М:Эксмо  
73 руб
Книжный магазин bookin.org.ruВеличины: Моторика, логика, речь: Детям от 5 лет - 16 с. {Скоро в школу} ISBN 5-329-00769-0 ~93.12.04 012
М:Оникс21век/СПб:Оникс-СПб  
30 руб
Книжка-наклейка: Логика: 32 задания: Детям 5-6 лет - 16 с. {Программа подготовки к школе} ISBN 5-329-00740-2 ~93.08.14 015Книжка-наклейка: Логика: 32 задания: Детям 5-6 лет - 16 с. {Программа подготовки к школе} ISBN 5-329-00740-2 ~93.08.14
СПб:Оникс-СПб/М:Оникс21век  
87 руб
ЛогикаЛогика
В простой и занимательной форме она поможет вам достичь успехов в развитии ребенка. Соколова Ю. Эксмо Готовимся к школе по интенсивной методике 
128 руб
Моторика, логика, речь: Детям от 3 лет Моторика, логика, речь: Детям от 3 лет (сост. Жукова О. С. ) - 16 с. {Первый шаг} Развиваем логику:
М:Оникс21век/МириОбразование/СПб:Оникс-СПб  
38 руб
Книжный магазин bookin.org.ruСопоставление, логика, счет, внимание, воображение: Учимся играя: Обучающие игры для начальных классов - 96 с. {Домашняя
М:Оникс21век  
53 руб
Логика и счет. Пособие для будущих первоклассниковЛогика и счет. Пособие для будущих первоклассников
Петлякова МарТ  
55 руб
Книжный магазин bookin.org.ruПервый учебник вашего малыша Компьютер для дошколят:
Книга адресована детям 5-8 лет и их родителям, в том числе и тем, кто только начинает постигать азы компьютерной грамотности. Кривич Е.Я. Эксмо  
258 руб
Компьютер для малышейКомпьютер для малышей
Все главы и разделы сопровождаются поясняющими рисунками, благодаря которым восприятие и усвоение ребёнком изложенной информации происходит значительно эффективнее, чем при чтении скучного учебника. Адаменко М.В. Майор  
136 руб
Логика и математика для дошкольниковЛогика и математика для дошкольников
Во второе издание включены новые игры-упражнения, уточненные задания, переработанный наглядный материал, который для удобства размещен в приложении в табличной форме. Носова Детство-Пресс Библиотека программы "Детство" 
37 руб
Упражнения на каждый день: логика для младших школьниковУпражнения на каждый день: логика для младших школьников
Тихомирова Л.Ф. Академия Развития Развивающее обучение. Практические задания 
83 руб
Visual Basic: Книга для детей, родителей и учителей - 320 с. {Занимательный компьютер} Занимательное программирование:Visual Basic: Книга для детей, родителей и учителей - 320 с. {Занимательный компьютер} Занимательное программирование:
Симонович С.В., Евсеев Г.А. М:АСТ-ПрессКнига/Инфорком-Пресс  
119 руб
Персональный компьютер для школьников: Учебный курс - 477 с. {Учебный курс} ISBN 966-03-2086-8 ~93.12.05 177Персональный компьютер для школьников: Учебный курс - 477 с. {Учебный курс} ISBN 966-03-2086-8 ~93.12.05 177
Кривич Е.Я. Харьков:Фолио  
66 руб
Безопасный компьютер на работе и домаБезопасный компьютер на работе и дома
Настоящее издание подготовлено специалистами Госсанэпидслужбы (врачами и инженерами), профессионально занимающимися изучением условий труда и состоянием здоровья пользователей ПЭВМ, разработкой мер профилактики неблагоприятных изменений в Евдокимов Виктория плюс  
26 руб
ЛогикаЛогика
Для студентов экономических, юридических и технических ВУЗов и факультетов, а также для аспирантов, преподавателей и научных работников. Демидов И.В. Дашков и К° Логистика 
119 руб
Книжный магазин bookin.org.ruУчебное пособие Золотая шпора Логика в вопросах и ответах:
Книга рассчитана на учащихся высших и средних специальных учебных заведений, она может быть полезной для всех, кто интересуется проблемами культуры мышления. Яшин Б.Л. Элит Золотая шпора 
63 руб
Логика для юристов: Учебник для вузов Изд. 3-е  4-е - 264 с. {Российское право} ISBN 5-7749-0179-3 ~90.07.15 117Логика для юристов: Учебник для вузов Изд. 3-е 4-е - 264 с. {Российское право} ISBN 5-7749-0179-3 ~90.07.15 117
Ивлев Ю.В. М: Дело  
239 руб
Учебник для вузов - 304 с. {f факультет} Логика и основы аргументации:Учебник для вузов - 304 с. {f факультет} Логика и основы аргументации:
Рузавин Г.И. М: Проект  
92 руб
Книжный магазин bookin.org.ruЛогика: Вопросы и ответы Изд. 2-е, испр., доп. - 160 с. ISBN 5-9516-0005-7 ~92.10.03 806
Демидов И.В., Каверин Б.И. М: Юриспруденция  
51 руб
Логика: Систематический курс: Учебное пособие - 512 с. ISBN 5-222-01850-4 ~91.08.21 069Логика: Систематический курс: Учебное пособие - 512 с. ISBN 5-222-01850-4 ~91.08.21 069
Курбатов В.И. Ростов: Феникс  
104 руб
Книжный магазин bookin.org.ruЛогика: Учебник для вузов Изд. 3-е перераб., доп. - 416 с. {Библиотека студента} ISBN 5-466-00105-8 ~54.00.00
Освещаются основные положения логики, которые необходимо знать будущим юристам. Иванов Е.А. М: Волтерс Клувер  
164 руб
Логика. Гриф МО РФЛогика. Гриф МО РФ
Учебник соответствует программе курса логики для высших учебных заведений. Ивлев Ю.В. Проспект  
197 руб
Логика. Гриф Российской Академии образованияЛогика. Гриф Российской Академии образования
Использованы материалы из области правовых наук, показано значение логических законов и правил логического мышления для юридической науки и практики. Толпыкин В.Е. Московский психолого-социальный институт (МПСИ)  
184 руб
Логика. Учебное пособие для ВУЗовЛогика. Учебное пособие для ВУЗов
В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Жоль К.К. Юнити-Дана  
197 руб
Логика: Учебное пособие для студентов учреждений среднего профессионального образования, обучающихся по правоведческим специальностям - 152 с. {Среднее профессиональное образование} ISBN 5-294-00012-1 5-7695-0545-1 ~91.03.14 088Логика: Учебное пособие для студентов учреждений среднего профессионального образования, обучающихся по правоведческим специальностям - 152 с. {Среднее
Афанасьева О.В. М: Академия /Мастерство  
104 руб
Логика: Экзаменационные ответы студенту вуза Шпаргалка ISBN 5-89582-050-6Логика: Экзаменационные ответы студенту вуза Шпаргалка ISBN 5-89582-050-6
Экзаменационные билеты по логике составлены в соответствии с Государственным образовательным стандартом содержания высшего образования по логике. Буклайн Шпаргалка 
23 руб
Книжный магазин bookin.org.ruПрактическая логика: Учебное пособие Изд. 3-е, испр., доп.
Подготовлено на основе читаемых курсов по логике для специалистов самого разнообразного профиля. Светлов В.А. Росток Summa Logicae 
297 руб
Книжный магазин bookin.org.ruЗадворки лукавства Логика хитрости ISBN 5-699-06829-5
Вы когда-нибудь балансировали на проволоке? Таранов П.С. Эксмо Логика хитрости 
83 руб
Книжный магазин bookin.org.ruЛогические основания общей теории права: Т. 2: Логика правового исследования (Как написать диссертацию) - 560 с. ISBN 5-7205-0562-8 5-7205-0564-4 ~54.00.00
Сырых В.М. М: Юстицинформ  
232 руб
Книжный магазин bookin.org.ruНовая матрица, или Логика стратегического превосходства
В книге описаны в основном автоматические устройства с питанием от сети переменного тока 220 В, рассчитанные на долговременное использование и круглосуточную эксплуатацию. Мэтьюз Р.,Агеев А.И.,Большаков З. Ин-т экономических стратегий,Олма-Пресс  
228 руб
Математическая логика и теория алгоритмовМатематическая логика и теория алгоритмов
Судоплатов С.В. Инфра-М Высшее образование 
197 руб
Дискретная математика: логика, группы, графыДискретная математика: логика, группы, графы
Перечисленные в названии разделы образуют ядро курса "Дискретная математика". Акимов О.Е. Бином. Лаборатория знаний  
150 руб
Как выбрать компьютер быстро и правильно: Современный компьютерный самоучительКак выбрать компьютер быстро и правильно: Современный компьютерный самоучитель
Прочитав эту книгу, вы будете точно знать, как выбрать компьютер наиболее соответствующий вашим потребностям и финансовым возможностям. Леонтьев В.П. Олма-Пресс Просто и наглядно 
42 руб
Книжный магазин bookin.org.ruГенетические алгоритмы; Системы, основанные на правилах; Методы и технологии искусственного интеллекта; Нечеткая логика (пер. с англ. Осипов А. И. ) - 312 с.
Джонс М.Т. М: ДМК Пресс  
264 руб
Занимательный компьютер. СамоучительЗанимательный компьютер. Самоучитель
Холмогоров Питер Информационные технологии. Вычислительная техника 
63 руб
Компьютер - это простоКомпьютер - это просто
После ее прочтения вы сможете работать в Word, Excel, научитесь отправлять электронную почту и поймете, что в работе с компьютером для вас самое главное. Алиев В. Питер Информационные технологии. Вычислительная техника 
62 руб
Компьютер для женщинКомпьютер для женщин
Полностью отсутствует избыточная для новичка информация. Пастернак Е. Новое знание  
178 руб
Компьютер своими руками: Полное руководство начинающего мастераКомпьютер своими руками: Полное руководство начинающего мастера
Книга предназначена для широкого круга читателей и не требует предварительной специальной подготовки. Мураховский В.И. АСТ-Пресс  
94 руб
Книжный магазин bookin.org.ruКомплектующие персонального компьютера; Персональный компьютер: Baredone system Выбор персонального компьютера определенного назначения; Без персонального
Романов А.В. БХВ-Петербург А у тебя нет такой штучки? 
33 руб


на главную


+7 (495) 105-96-52

Киниги почтой www.bookin.org.ru Книжный интернет магазин bookin.org.ru доставка книг почтой