| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991003385689707536 |
|
|
Autore |
Azorín García, Francisco |
|
|
Titolo |
Leyendas y anécdotas del viejo Madrid / Francisco Azorín García |
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2. ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Aneddoti - Spagna - Madrid |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910822988603321 |
|
|
Autore |
Goranko Valentin |
|
|
Titolo |
Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Chichester, West Sussex, England : , : Wiley, , 2016 |
|
2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-88004-8 |
1-118-88005-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (383 pages) : illustrations, tables |
|
|
|
|
|
|
Collana |
|
New York Academy of Sciences |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes bibliographical references (p. [348]-350) and index |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. •Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples •Emphasis both on conceptual understanding and on developing practical skills •Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic •Includes extensive sets of exercises, many of them provided with solutions or answers •Supplemented by a website including detailed slides, additional exercises and solutions |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910520075403321 |
|
|
Titolo |
Crime Scene Management within Forensic science / / edited by Jaskaran Singh, Neeta Raj Sharma |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (239 pages) |
|
|
|
|
|
|
Collana |
|
Biomedical and Life Sciences Series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Medicine - Research |
Biology - Research |
Medical jurisprudence |
Biomaterials |
Nucleic acids |
Biomedical Research |
Forensic Medicine |
Nucleic Acid |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1 Initial response at crime scenes and prioritization of efforts -- 2 Crime scene processing: documentation and evaluation -- 3 Crime Scene Searching: An Exploration of Forensic Evidence -- 4 Collection, Preservation and Packaging: Forensic Evidence Management -- 5 Paint, Soil and Glass Evidences: A Silent Witnesses -- 6 Questioned Document Examination: A Prevalent Dispute -- 7 Medicolegal Examination: A Guide to the Criminal Investigation System -- 8 Examination of Tampered Voice. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book provides deep insight into the significance of various forensic techniques underlying the methodical approaches in criminal investigations. The book comprises numerous case studies, examples, and reference materials. It emphasizes on the better practices for criminal investigations including contemporary examinations. The book also describes various methods for investigation of crime scene and evidence collection including biological evidences to the resources of law enforcement agencies. This book encompasses the procedure for |
|
|
|
|
|
|
|
|
|
|
crime scene-documentation through photography, video, and diagrams and highlights the best practices of packaging the biological evidences at a crime scene. Further, it summarizes the role of forensic autopsy to the criminal investigation system. As such, the book is helpful for forensic scientists, medical practitioners, educators and law enforcement personnel. |
|
|
|
|
|
| |