|
|
 |
| Результат поиска |
Поиск книг, содержащих: Modus Tollens
| Книга | Страницы для поиска | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 250 | | Гладкий А.В. — Введение в современную логику | 97 | | Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 83, 84, 86, 88, 126, 127 | | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | 36, 178, 181 | | Konar A. — Computational Intelligence | 74 | | Velleman D.J. — How to Prove It: A Structured Approach | 103, 104, 105, 107 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 203, 212 | | Kowalski R. — Logic for problem solving | 56 | | Hein J.L. — Discrete Mathematics | 310, 333 | | Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 645 | | Hein J.L. — Theory of Computation: An Introduction | 125 | | Ковальски Р. — Логика в решении проблем | 69 | | Copi I.M., Cohen C. — Introduction to logic | 241, 297 | | Rucker R. — Mind Tools. The Five Levels of Mathematical Reality | 211, 212 | | Mario Bunge — Foundations of Physics | 17 | | Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming | 119 | | Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians | 49 | | Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians | 49 | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 118, 123, 164, 586, 587, 599, 601 | | Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 73, 74, 76, 78, 108, 109 | | Bunge M. — Foundations of Physics | 17 | | Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 73, 74, 76, 78, 108, 109 |
|
|
|
|
О проекте