Категория программы в каталоге программ :     "Образование"

Другой софт этой подкатегории     "Компьютеры"

  Название:

Математическая логика и теория алгоритмов

Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.
   

загрузить программу скачать софт - download - скачать программное обеспечение     URL загрузки программы http://depositfiles.com/files/t0712co2t или url файла по частям: http depositfiles com files t0712co2t Автор: chapaev E-mail: chapaev-vas [Att] yandex dot ru Версия: 1.0 Размер файла в байтах: 556000 Домашняя страница: http://depositfiles.com/files/t0712co2t или домашняя страница программы по частям: http depositfiles com files t0712co2t ID номер программы в каталоге 21958 Дата регистрации в каталоге Softholm.com   2010-01-18 20:41:03 Количество загрузок программы из софт архива: 39 Голосовать за программу. Ваша оценка поможет другим посетителям сделать правильный выбор. Тop самых рейтинговых программ   каталога, наилучше-оцененный софт Рейтинг популярности - топ 25   программ каталога - количество загрузок (скачиваний) ресурсов из программного архива Программы этого автора - chapaev:   Надежность программного обеспечения       Final Uninstaller       Replay Music       Advanced SystemCare Free       Универсальный ускоритель WINDOWS XP       Advanced Defrag v.4.2.1       Multimedia Builder MP3 4.9.8.13       EVEREST Ultimate Edition v5.30.1932 Beta Portable       Automize v8.30 Enterprise Edition       MediaCoder 0.7.2 Build 4535       ProgDVB 6.23.1 Std x32 & x64       WashAndGo 2009 11w       CheMax 9.1       cFosSpeed 5.00       ChrisTV Online! 4.20       K-Lite Codec Pack 5.4.0 Full       RadioClicker 7.1.6.2       Save2PC Lite 3.59       Hamachi 2.0.1.66       Средства манипулирования данными языка SQL       Компьютерная верстка и дизайн. Самоучитель       Poly-Modeling with 3ds Max       Коррекция веса       Лучшие натуральные маски для лица и волос       Работа с базами данных в C++ Builder       Шины PCI, USB и FireWire. Энциклопедия       Web-дизайн: Photoshop & Dreamweaver       Рецепты бабушки Травинки       Password Manager XP 2.3.483       AM-Notebook 5.2.0     Все программы chapaev: тут. Другие продукты, включенные в каталог    18 января 2010 года

 
Примечания:

- Виды лицензий: Freeware - бесплатные программы, Shareware - условно-бесплатные, подробнее...

- Описания софта иногда включают компьютерный сленг: Ака, девайс, фривар, хинт, фича, наладонник, релиз, движок, GUI, ЖЖ, IMHO, IIRC, FAQ ... скачать словарь.

- Рекомендуем: игры шахматы бесплатно играть.

- После загрузки, испытания и тестирования софта можете обсудить его функциональные особенности на Форуме.

- Сообщения можно оставлять и на Доске объявлений.